3130 search results - page 464 / 626 » Design Correctness of Digital Systems |
162
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
177
click to vote
SAGA
2005
Springer
16 years 2 hour ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
251
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
400
click to vote
NETGAMES
2006
ACM
16 years 14 days ago
2006
ACM
In recent years, MMORPG has become popular. In order to improve scalability of game system, several P2P-based architectures have been proposed. However, in P2P-based gaming archit...
174
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...