7971 search results - page 28 / 1595 » On unbounded operators and applications |
129
Voted
ICDM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
107
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
FAC
2002
15 years 14 days ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
127
click to vote
RTSS
2006
IEEE
15 years 6 months ago
2006
IEEE
With the emergence of large wired and wireless sensor networks, many real-time applications need to operate on continuous unbounded data streams. At the same time, many of these s...
79
Voted
IISWC
2008
IEEE
15 years 7 months ago
2008
IEEE
