4075 search results - page 293 / 815 » Modeling Distributed Algorithm Using B |
190
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
144
click to vote
INFOCOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— As the commercial success of the IEEE 802.11 protocol has made wireless infrastructure widely deployed, user organizations are increasingly concerned about the new vulnerabilit...
196
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. One important problem for such public broadcast LBS is to enforce access control on a large number of subscribers. In such a system a user typically subscribes to a LBS f...
168
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
201
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...