652 search results - page 113 / 131 » Reconciling Software Requirements and Architectures: The CBS... |
DAGSTUHL
1993
15 years 1 months ago
1993
Currently, popular operating systems are unable to support the end-toend real-time requirements of distributed continuous media. Furthermore, the integration of continuous media c...
116
click to vote
CCS
2009
ACM
15 years 4 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
127
Voted
ER
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
102
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...