Sciweavers

24554 search results - page 123 / 4911
» Dependable distributed systems
Sort
View
ICSE
2003
IEEE-ACM
16 years 4 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
ICDCSW
2006
IEEE
15 years 10 months ago
Concurrency Tradeoffs in Dynamic Adaptation
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
Karun N. Biyani, Sandeep S. Kulkarni
VLSID
2009
IEEE
110views VLSI» more  VLSID 2009»
16 years 5 months ago
Security and Dependability of Embedded Systems: A Computer Architects' Perspective
Jörg Henkel, Roshan G. Ragel, Sri Parameswara...
WOSP
2010
ACM
15 years 11 months ago
State dependence in performance evaluation of component-based software systems
Lucia Kapova, Babora Buhnova, Anne Martens, Jens H...
102
Voted
DATE
2008
IEEE
89views Hardware» more  DATE 2008»
15 years 11 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