1757 search results - page 196 / 352 » Alternating Refinement Relations |
122
Voted
CCE
2007
15 years 3 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
124
Voted
IPL
2008
15 years 3 months ago
2008
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...
119
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
109
Voted
FUIN
2007
15 years 3 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
151
Voted
CTW
2004
15 years 3 months ago
2004
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...