2296 search results - page 363 / 460 » The Expressive Power of Synchronizations |
121
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
188
click to vote
IHIS
2005
ACM
15 years 10 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
132
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modiļ¬cations to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
113
click to vote
SOFTVIS
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
131
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...