4044 search results - page 497 / 809 » The Evolution of a Distributed Operating System |
114
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
266
click to vote
DFG
2009
Springer
15 years 11 months ago
2009
Springer
Algorithms for route planning in transportation networks have recently undergone a rapid development, leading to methods that are up to three million times faster than Dijkstra’s...
155
click to vote
DFG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
132
click to vote
DFG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...
134
click to vote
EDOC
2008
IEEE
15 years 10 months ago
2008
IEEE
Business processes used in networked business are often large and complex, which makes them difficult to manage and change. In this paper we address this lack of flexibility by pr...