Sciweavers

7340 search results - page 258 / 1468
» The Behavior of Tutoring Systems
Sort
View
EMSOFT
2005
Springer
16 years 2 days ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
ICAT
2003
IEEE
15 years 11 months ago
Motion Generation using Motion Mining System
In this paper, we present a method that generates a path that has no collision with the obstacles by using the environment information, and automatically creates natural motions o...
Seongmin Baek, Il-Kwon Jeong, In-Ho Lee
FORTE
1993
15 years 7 months ago
Incremental Construction Approach for Distributed System Specifications
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...
Ferhat Khendek, Gregor von Bochmann
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
DAC
2000
ACM
16 years 7 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello