1888 search results - page 62 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
109
click to vote
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
117
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
113
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
116
click to vote
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appr...
128
click to vote
IWPSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...