1054 search results - page 192 / 211 » Abstract Regular Model Checking |
150
click to vote
ICSOC
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
164
click to vote
DSN
2008
IEEE
16 years 10 days ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
145
click to vote
EUROMICRO
2007
IEEE
16 years 6 days ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
149
click to vote
FSEN
2007
Springer
16 years 21 hour ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
157
click to vote
ICCS
2007
Springer
16 years 14 hour ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...