2089 search results - page 145 / 418 » Finding Environment Guarantees |
145
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We consider the problem of pipelined filters, where a continuous stream of tuples is processed by a set of commutative filters. Pipelined filters are common in stream applications...
137
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—In large distributed systems, where shared resources are owned by distinct entities, there is a need to reflect resource ownership in resource allocation. An appropriat...
143
click to vote
ACSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Mashups are new Web 2.0 applications that seamlessly combine contents from multiple heterogeneous data sources into one integrated browser environment. The hallmark of these appli...
117
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
118
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...