7827 search results - page 120 / 1566 » time 2007 |
172
click to vote
EPK
2006
15 years 7 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
156
click to vote
SIROCCO
2004
15 years 7 months ago
2004
We study here the gossiping problem (all-to-all communication) in known radio networks, i.e., when all nodes are aware of the network topology. We start our presentation with a det...
132
click to vote
AAI
2006
15 years 5 months ago
2006
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
159
click to vote
PPAM
2007
Springer
15 years 12 months ago
2007
Springer
Real-time access to accurate and reliable timing information is necessary to profile scientific applications, and crucial as simulations become increasingly complex, adaptive, an...
175
click to vote
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and the...