1141 search results - page 107 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
128
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
170
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
192
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
175
click to vote
ICMAS
2000
15 years 7 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
127
click to vote
ASPLOS
2006
ACM
16 years 11 days ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...