4693 search results - page 453 / 939 » Verifying Hybrid Systems |
219
click to vote
ENTCS
2006
15 years 7 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
173
click to vote
TFS
2008
15 years 6 months ago
2008
A reliable monitoring system is critically needed in a wide range of industries to detect the occurrence of a fault to prevent machinery performance degradation, malfunction, and s...
190
click to vote
DATESO
2010
15 years 5 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
187
click to vote
SOCIALCOM
2010
15 years 5 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
294
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...