4290 search results - page 336 / 858 » Formal Approaches to Teamwork |
193
click to vote
ACSD
2003
IEEE
16 years 28 days ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
188
click to vote
FORMATS
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
177
click to vote
COMPSAC
2000
IEEE
16 years 1 days ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
209
click to vote
ECOOPW
1999
Springer
15 years 12 months ago
1999
Springer
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
251
click to vote
CSFW
1997
IEEE
15 years 12 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...