2223 search results - page 180 / 445 » Events in Property Patterns |
103
Voted
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
137
Voted
ISIPTA
2003
IEEE
15 years 8 months ago
2003
IEEE
Upper and lower conditional probabilities assigned by Hausdorff outer and inner measures are given; they are natural extensions to the class of all subsets of Ω=[0,1] of finite...
113
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
155
Voted
PODC
2000
ACM
15 years 8 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
140
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...