248 search results - page 30 / 50 » Supporting UML-based development of embedded systems by form... |
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...
EICS
2010
ACM
13 years 12 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
ESTIMEDIA
2003
Springer
14 years 23 days ago
2003
Springer
Current multimedia applications are characterized by highly dynamic and non-deterministic behavior as well as high-performance requirements. In addition, portable devices demand a...
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
TC
2008
13 years 7 months ago
2008
Security is gaining relevance in the development of embedded devices. Toward a secure system at each level of design, this paper addresses security aspects related to Network-on-Ch...