1463 search results - page 121 / 293 » Model Checking Implicit-Invocation Systems |
101
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
104
click to vote
SSIRI
2010
15 years 11 hour ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
116
Voted
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
124
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
105
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...