1202 search results - page 60 / 241 » Sortings for Reactive Systems |
SCW
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
ROBOCUP
2005
Springer
15 years 5 months ago
2005
Springer
The domain of robotic soccer is known as a highly dynamic and non-deterministic environment for multiagent research. We introduce an approach using Hierarchical Task Network planni...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
109
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
GI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...