3104 search results - page 578 / 621 » Using quantitative analysis to implement autonomic IT system... |
102
click to vote
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
DEBS
2007
ACM
15 years 3 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
101
click to vote
IEEESCC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
119
click to vote
ANSS
2004
IEEE
15 years 3 months ago
2004
IEEE
Recent advances in micro electro-mechanical systems and VLSI lithography have enabled the miniaturization of sensors and controllers. Such minitiarization facilitates the deployme...
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...