1173 search results - page 144 / 235 » On the Compositionality of Round Abstraction |
AUSDM
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Lot of research has gone into understanding the composition and nature of proteins, still many things remain to be understood satisfactorily. It is now generally believed...
IDEAS
1997
IEEE
14 years 2 months ago
1997
IEEE
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
APN
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CONCUR
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
FIW
2007
14 years 19 days ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...