Innovations in Systems and Software Engineering
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Lập luận giả thiết-đảm bảo dựa trên học tập cho quá trình quyết định Markov sử dụng quá trình Markov khoảng Dịch bởi AI
Innovations in Systems and Software Engineering - Tập 14 - Trang 229-244 - 2018
Nhiều hệ thống quan trọng trong thực tế được mô tả bằng các mô hình lớn và thể hiện hành vi vừa xác suất vừa không xác định. Việc kiểm chứng những hệ thống như vậy đòi hỏi các kỹ thuật để tránh vấn đề bùng nổ không gian trạng thái. Kiểm tra mô hình hình tượng và xác minh thành phần chẳng hạn như lập luận giả thiết-đảm bảo là hai kỹ thuật hứa hẹn để vượt qua rào cản này. Trong bài báo này, chúng tô...... hiện toàn bộ
#quá trình quyết định Markov #mô hình xác suất #xác minh thành phần hình tượng #lập luận giả thiết-đảm bảo
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Innovations in Systems and Software Engineering - Tập 18 - Trang 385-403 - 2022
The topic of this paper is the determinization problem of
$$\omega $$
-automata under the transition-based Emerson-Lei acceptance (called TELA), which generalizes all standard acceptance conditions and is defined using positive Boolean formulas. Such automata can be determinized by first constructi...... hiện toàn bộ
Model transformations in the UPES/UPSoC development process for embedded systems
Innovations in Systems and Software Engineering - - 2009
Model-based approaches and frameworks for embedded software systems
Innovations in Systems and Software Engineering - Tập 8 - Trang 1-2 - 2011
Adaptive reflex autonomicity for real-time systems
Innovations in Systems and Software Engineering - Tập 5 - Trang 107-115 - 2009
It may appear that for software systems that require strict real-time behavior, the idea of incorporating self-management (and specifically concepts from Autonomic Computing) may add the burden of excessive additional functionality and overhead. However, our experience is that, not only does real-time software benefit from autonomicity, but also the Autonomic Computing initiative (like other initi...... hiện toàn bộ
Live synthesisAbstract Synthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized implementation replaces an already running system. In addition to satisfying its own specification, the synthesized implementation must guarantee a sound trans... ... hiện toàn bộ
Innovations in Systems and Software Engineering - - 2022
Rank-based refactoring decision support: two studies
Innovations in Systems and Software Engineering - Tập 7 Số 3 - Trang 171-189 - 2011
User-oriented problem abstractions in scheduling
Innovations in Systems and Software Engineering - Tập 2 - Trang 1-16 - 2006
In this paper we describe a modeling framework aimed at facilitating the customization and deployment of artificial intelligence (AI) scheduling technology in real-world contexts. Specifically, we describe an architecture aimed at facilitating software product line development in the context of scheduling systems. The framework is based on two layers of abstraction: a first layer providing an inte...... hiện toàn bộ
Symbolic approximation: an approach to verification in the large
Innovations in Systems and Software Engineering - Tập 2 - Trang 147-163 - 2006
This article describes symbolic approximation, a theoretical foundation for techniques evolved for large-scale verification – in particular, for post hoc verification of the C code in large-scale open-source projects such as the Linux kernel. The corresponding toolset’s increasing maturity means that it is now capable of treating millions of lines of C code source in a few hours on very modest sup...... hiện toàn bộ
Tổng số: 394
- 1
- 2
- 3
- 4
- 5
- 6
- 10