1160 search results - page 61 / 232 » Applying Constraint Solving to the Management of Distributed... |
138
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
145
click to vote
EDO
2006
Springer
15 years 7 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
175
click to vote
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
135
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order ...
140
click to vote
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...