Sciweavers

6796 search results - page 517 / 1360
» Java for Embedded Systems
Sort
View
ICDAR
2003
IEEE
15 years 12 months ago
A Prototype of an Active Form System
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...
Taro Shimamura, Bilan Zhu, Atsushi Masuda, Motoki ...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 10 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
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...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
DAIS
2006
15 years 8 months ago
Adding Fault-Tolerance to a Hierarchical DRE System
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 ...
Paul Rubel, Joseph P. Loyall, Richard E. Schantz, ...
FORTE
2009
15 years 4 months ago
Typing Component-Based Communication Systems
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...
Michael Lienhardt, Claudio Antares Mezzina, Alan S...
ICMCS
2009
IEEE
149views Multimedia» more  ICMCS 2009»
15 years 4 months ago
A multi-agent framework for a hybrid dialog management system
The importance of dialog management systems has increased in recent years. Dialog systems are created for domain specific applications, so that a high demand for a flexible dialog...
Stefan Schwärzler, Joachim Schenk, Günth...