3595 search results - page 471 / 719 » Roles of Program Extension |
142
click to vote
ICALP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
154
click to vote
IFIP
2007
Springer
16 years 9 days ago
2007
Springer
Although providing reliable network services is getting more and more important, currently used methods in IP networks are typically reactive and error correcting can take a long t...
154
click to vote
LFCS
2007
Springer
16 years 9 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
158
click to vote
PVM
2007
Springer
16 years 8 days ago
2007
Springer
Many existing clusters use inexpensive Gigabit Ethernet and often have multiple interfaces cards to improve bandwidth and enhance fault tolerance. We investigate the use of Concurr...
142
click to vote
WEA
2007
Springer
16 years 8 days ago
2007
Springer
The degree-constrained minimum spanning tree (DCMST) is relevant in the design of networks. It consists of finding a spanning tree whose nodes do not exceed a given maximum degree...