Sciweavers

3979 search results - page 336 / 796
» Wild control operators
Sort
View
HASE
2007
IEEE
15 years 10 months ago
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
COMPSAC
2004
IEEE
15 years 10 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
AICCSA
2001
IEEE
112views Hardware» more  AICCSA 2001»
15 years 10 months ago
Implementation of DDARC: Software Architecture for Debugging Distributed Programs
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
Sushma Rai, D. Sampath, Srivathsa N. S.
AIIA
1995
Springer
15 years 10 months ago
Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects
Recently, a new approach that involves a form of simulated evolution has been proposed for the building of autonomous robots. However, it is still not clear if this approach may b...
Stefano Nolfi, Domenico Parisi
RTAS
1995
IEEE
15 years 10 months ago
Design and evaluation of a window-consistent replication service
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Fa...