Sciweavers

1072 search results - page 129 / 215
» Innovation as language action
Sort
View
CALCO
2005
Springer
109views Mathematics» more  CALCO 2005»
14 years 1 months ago
Final Semantics for Event-Pattern Reactive Programs
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...
César Sánchez, Henny B. Sipma, Matte...
EMSOFT
2005
Springer
14 years 1 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
GLOBAL
2003
Springer
14 years 28 days ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
LADS
2009
Springer
14 years 9 days ago
Temporal Planning in Dynamic Environments for P-CLAIM Agents
—Time and uncertainty of the environment are very important aspects in the development of real world applications. Another important issue for the real world agents is, the balan...
Muhammad Adnan Hashmi, Amal El Fallah-Seghrouchni
WCRE
1999
IEEE
14 years 9 hour ago
Reusing Domains for the Construction of Reverse Engineering Tools
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
Felipe Gouveia de Freitas, Julio Cesar Sampaio do ...