1073 search results - page 83 / 215 » Reasoning about Continuous Processes |
118
Voted
OSDI
2004
ACM
16 years 2 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
137
Voted
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
117
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
109
Voted
DBPL
2003
Springer
15 years 7 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
101
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...