21430 search results - page 4177 / 4286 » Abstract Effective Models |
109
Voted
CAD
2002
Springer
15 years 3 months ago
2002
Springer
Nowadays, we increasingly face the situation that possibly heterogeneous workflow environments must be integrated in order to support company-internal business processes as well a...
173
Voted
CI
2000
15 years 3 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...
159
click to vote
JAR
2000
15 years 3 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
138
Voted
JHSN
2000
15 years 3 months ago
2000
In order to achieve the best application-level Quality-of-Service (QoS), multimedia applications need to be dynamically tuned and reconfigured to adapt to fluctuating computing an...
145
click to vote
SIAMAM
2000
15 years 3 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...