1077 search results - page 120 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
115
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
122
Voted
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
122
Voted
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
149
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
127
Voted
WWW
2006
ACM
15 years 9 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...