780 search results - page 96 / 156 » Compositional Quantitative Reasoning |
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
110
Voted
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
127
click to vote
CCS
1998
ACM
15 years 5 months ago
1998
ACM
This paper describes a new public-key cryptosystem based on the hardness of computing higher residues modulo a composite RSA integer. We introduce two versions of our scheme, one d...
102
click to vote
ICCS
1998
Springer
15 years 4 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
100
click to vote
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...