163 search results - page 19 / 33 » Executable HybridUML and Its Application to Train Control Sy... |
FLAIRS
2007
15 years 2 months ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
HASE
1997
IEEE
15 years 3 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
HASE
1998
IEEE
15 years 3 months ago
1998
IEEE
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
148
click to vote
SOSP
2009
ACM
15 years 8 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...
114
click to vote
INFSOF
2008
14 years 11 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...