2632 search results - page 228 / 527 » Alternating Timed Automata |
140
click to vote
CRIWG
2007
15 years 5 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
134
click to vote
AAAI
2004
15 years 5 months ago
2004
We consider from a computational perspective the problem of how to aggregate the ranking preferences of a number of alternatives by a number of different voters into a single cons...
WSC
2004
15 years 5 months ago
2004
Hospitals today are investing time and money to expand and improve their Emergency Departments (ED). Using simulation to test their many improvement ideas can necessitate running ...
120
click to vote
WSCG
2004
15 years 5 months ago
2004
The classical formulation of large displacement visco-elasticity requires the geometrically nonlinear Green tensor. Keeping track of the rotational part of strain permits alternat...
219
click to vote
ALC
1997
15 years 5 months ago
1997
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...