1161 search results - page 197 / 233 » Resource Modeling for Timed Creol Models |
166
Voted
ICAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract—This paper describes and evaluates a biologically-inspired network architecture that allows grid services to autonomously adapt to dynamic environment changes in the net...
132
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
81
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
130
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
121
click to vote
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent researches have highlighted the importance of developing a network with distributed problem solving abilities thus enhancing reliability with equal share of network resourc...