5 search results - page 1 / 1 » Final Semantics for Event-Pattern Reactive Programs |
CALCO
2005
Springer
13 years 10 months ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
JWE
2006
13 years 4 months ago
2006
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
ACSD
2009
IEEE
13 years 11 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
IJCAI
2001
13 years 6 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
DALT
2006
Springer
13 years 8 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...