13917 search results - page 2583 / 2784 » Abstraction of Probabilistic Systems |
216
click to vote
CD
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
179
click to vote
CHARME
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
202
click to vote
ESORICS
2005
Springer
16 years 20 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
206
click to vote
HPCC
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. As grid sizes increase, the need for self-organization and dynamic reconfigurations is becoming more and more important, and therefore the convergence of grid computing ...
209
click to vote
ICLP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...