837 search results - page 51 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Adaptivity is a challenging open issue in data stream management. In this paper, we tackle the problem of memory adaptivity inside a system executing temporal sliding window queri...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In e-commerce, for some cases the service requested by the consumer cannot be fulfilled by the producer. In such cases, service consumers and producers need to negotiate their ser...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...