1463 search results - page 196 / 293 » Model Checking Implicit-Invocation Systems |
111
click to vote
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
ICEIS
2008
IEEE
15 years 8 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
109
click to vote
SAFECOMP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
110
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
EUROMICRO
2007
IEEE
15 years 7 months 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. ...