1980 search results - page 134 / 396 » Compositional Model Checking of Real Time Systems |
139
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...
121
click to vote
FORTE
2007
15 years 3 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
123
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...
129
click to vote
ROBOCUP
2009
Springer
15 years 6 months ago
2009
Springer
In this article a hand gesture recognition system that allows interacting with a service robot, in dynamic environments and in real-time, is proposed. The system detects hands and ...
108
click to vote
FORTE
2001
15 years 3 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...