1784 search results - page 343 / 357 » Formal Models for Embedded System Design |
75
Voted
AUTOMATICA
2006
14 years 9 months ago
2006
While risk-sensitive (RS) approaches for designing plans of total productive maintenance are critical in manufacturing systems, there is little in the literature by way of theoret...
101
click to vote
JCP
2008
14 years 9 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
85
Voted
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
79
Voted
SAC
2008
ACM
14 years 9 months ago
2008
ACM
We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...