Sciweavers

1543 search results - page 218 / 309
» Using a Groupware Space for Distributed Requirements Enginee...
Sort
View
145
Voted
CODES
2011
IEEE
14 years 2 months ago
Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
Jia Huang, Jan Olaf Blech, Andreas Raabe, Christia...
105
Voted
SAC
2006
ACM
15 years 8 months ago
An anomaly-driven reverse proxy for web applications
Careless development of web-based applications results in vulnerable code being deployed and made available to the whole Internet, creating easily-exploitable entry points for the...
Fredrik Valeur, Giovanni Vigna, Christopher Kr&uum...
PPOPP
2005
ACM
15 years 8 months ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller
ECOOPW
1998
Springer
15 years 6 months ago
Workshop Report - ECOOP'98 Workshop 7: Tools and Environments for Business Rules
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
Kim Mens, Roel Wuyts, Dirk Bontridder, Alain Grijs...
147
Voted
WISES
2003
15 years 3 months ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner