4290 search results - page 479 / 858 » Formal Approaches to Teamwork |
192
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a replication-based approach that enables both fast and reliable stream processing over wide area networks. Our approach replicates stream processing operators in a man...
164
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
A movie captured by a wearable camera affixed to an actor’s body gives audiences the sense of “immerse in the movie”. The raw movie captured by wearable camera needs stabiliz...
211
Voted
GEOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
159
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
166
click to vote
WETICE
2006
IEEE
16 years 26 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...