3256 search results - page 444 / 652 » Applications of Formal Methods to System Design and Verifica... |
216
click to vote
JDCTA
2010
15 years 8 days ago
2010
Hand detection is a fundamental step in many practical applications as gesture recognition, video surveillance, and multimodal machine interface and so on. The aim of this paper i...
145
click to vote
SIROCCO
2008
15 years 6 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
133
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
300
click to vote
GIS
2006
ACM
16 years 6 months ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...
176
click to vote
TASE
2009
IEEE
16 years 6 days ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...