Sciweavers

2513 search results - page 136 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
FMICS
2006
Springer
15 years 8 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
SAC
2008
ACM
15 years 4 months ago
Autonomic management policy specification in Tune
Distributedsoftwareenvironmentsareincreasinglycomplex anddiculttomanage,astheyintegratevariouslegacysoftware with specic management interfaces. Moreover, the factthatmanagementtas...
Laurent Broto, Daniel Hagimont, Patricia Stolf, No...
VLSISP
2010
119views more  VLSISP 2010»
14 years 11 months ago
Hardware Acceleration of HMMER on FPGAs
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
Steven Derrien, Patrice Quinton
CBSE
2008
Springer
15 years 6 months ago
Experiences from Developing a Component Technology Agnostic Adaptation Framework
Systems are increasingly expected to adapt themselves to changing requirements and environmental situations with minimum user interactions. A challenge for self-adaptation is the i...
Eli Gjørven, Frank Eliassen, Romain Rouvoy
ECOWS
2007
Springer
15 years 10 months ago
Model-Driven Performance Evaluation for Service Engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
Claus Pahl, Marko Boskovic, Wilhelm Hasselbring