256 search results - page 23 / 52 » Separation of NP-Completeness Notions |
101
click to vote
FASE
1998
Springer
15 years 4 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
111
click to vote
EUROGP
2004
Springer
15 years 3 months ago
2004
Springer
Most programs currently written by humans are object-oriented ones. Two of the greatest benefits of object oriented programming are the separation of interface from implementation,...
CSFW
2000
IEEE
15 years 3 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
UML
2000
Springer
15 years 3 months ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...