1346 search results - page 143 / 270 » Alternating-time dynamic logic |
152
click to vote
ICPADS
2008
IEEE
15 years 12 months ago
2008
IEEE
It is common that Internet service hosting centres use several logical pools to assign server resources to different applications, and that they try to achieve the highest total r...
150
click to vote
ASM
2010
ASM
16 years 9 days ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
148
click to vote
CAGD
2010
15 years 2 months ago
2010
In this paper we introduce a new framework for geometric modeling that combines implicit and parametric surface representations with volumetric warpings. The framework is based on...
172
click to vote
ICCS
2009
Springer
16 years 1 days ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
125
click to vote
ADC
2004
Springer
15 years 11 months ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...