2896 search results - page 458 / 580 » Curricula Modeling and Checking |
164
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
178
click to vote
JSSPP
2005
Springer
15 years 11 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
152
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
138
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
149
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...