780 search results - page 137 / 156 » Compositional Quantitative Reasoning |
113
Voted
TSE
2008
15 years 20 days ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
110
Voted
JWSR
2007
15 years 19 days ago
2007
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
100
Voted
CN
2004
15 years 19 days ago
2004
The Differentiated Services architecture targets at providing scalable network Quality of Service by means of aggregate scheduling. However, the defined framework itself only give...
121
Voted
JAIR
2002
15 years 13 days ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
103
Voted
TOPLAS
2002
15 years 12 days ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...