1054 search results - page 192 / 211 » Abstract Regular Model Checking |
158
Voted
ICSOC
2009
Springer
16 years 28 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 ...
172
Voted
DSN
2008
IEEE
16 years 25 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. ...
148
Voted
EUROMICRO
2007
IEEE
16 years 21 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. ...
158
Voted
FSEN
2007
Springer
16 years 16 days 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...
165
Voted
ICCS
2007
Springer
16 years 15 days 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...