5239 search results - page 365 / 1048 » Model-Integrated Embedded Systems |
178
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
195
click to vote
WORDS
2005
IEEE
16 years 10 days ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
154
click to vote
ICDAR
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
177
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
166
click to vote
DAIS
2006
15 years 8 months ago
2006
Dynamic resource management is a crucial part of the infrastructure for emerging mission-critical distributed real-time embedded system. Because of this, the resource manager must ...