352 search results - page 47 / 71 » Establishing norms with metanorms in distributed computation... |
88
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
95
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
146
Voted
OPODIS
2010
14 years 10 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
110
click to vote
COMSIS
2010
14 years 9 months ago
2010
We propose a new method for matching two 3D point sets of identical cardinality with global similarity but local non-rigid deformations and distribution errors. This problem arises...
132
click to vote
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...