2632 search results - page 315 / 527 » Alternating Timed Automata |
110
Voted
SYNTHESE
2008
15 years 3 months ago
2008
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
120
Voted
TSP
2008
15 years 3 months ago
2008
Gossip algorithms for distributed computation are attractive due to their simplicity, distributed nature, and robustness in noisy and uncertain environments. However, using standa...
119
click to vote
JSW
2007
15 years 3 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
140
Voted
KES
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes a practical dynamic route planning method using real road maps in a wide area. The maps include traffic signals, road classes, and the number of lanes. The pr...
144
Voted
ARSCOM
2004
15 years 3 months ago
2004
We show that several known theorems on graphs and digraphs are equivalent. The list of equivalent theorems include Kotzig's result on graphs with unique 1-factors, a lemma by...