8555 search results - page 41 / 1711 » Property Based Coordination |
CGI
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we describe a strategy for efficient predictive compression of texture coordinates. Previous works in mesh compression often claim that this mesh property can simpl...
IPL
2008
13 years 8 months ago
2008
Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value v that is consistent with all past rounds. Rounds are start...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
Service-oriented environments facilitate dynamic processes whose properties can be altered during runtime. The transactional support of such processes holds specific requirements...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
ECSA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...