Sciweavers

3801 search results - page 43 / 761
» An Approach to Modeling Software Safety
Sort
View
SAC
2009
ACM
15 years 4 months ago
Towards a compositional approach to model transformation for software development
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...
COMPSAC
2002
IEEE
15 years 2 months ago
Concurrency Control with Java and Relational Databases
As web–based information systems usually run in concurrent environment, the complexity for implementing and testing those systems is significantly high. Therefore it is useful ...
Sérgio Soares, Paulo Borba
SEFM
2003
IEEE
15 years 3 months ago
Component-Based Design and Analysis: A Case Study
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
Yan Jin, Charles Lakos, Robert Esser
DATE
2008
IEEE
89views Hardware» more  DATE 2008»
15 years 4 months ago
Software Protection Mechanisms for Dependable Systems
We expect that in future commodity hardware will be used in safety critical applications. But the used commodity microprocessors will become less reliable because of decreasing fe...
Ute Wappler, Martin Muller