1746 search results - page 169 / 350 » A Constructive Semantics for ALC |
171
click to vote
COORDINATION
2007
Springer
16 years 12 days ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
147
Voted
ESORICS
2007
Springer
16 years 12 days ago
2007
Springer
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
145
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
171
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
144
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...