224 search results - page 11 / 45 » Model-based runtime analysis of distributed reactive systems |
124
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
184
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
158
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
135
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
160
click to vote
SAS
2012
Springer
13 years 7 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...