Sciweavers

3555 search results - page 114 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
EEE
2004
IEEE
15 years 5 months ago
e-Transformation Technologies: Case Studies and the Road Ahead - A Value Chain Perspective
e-Transformation technologies, for the past few years, have been evolving towards the goal of information integration and system interoperability. While there is no doubt that int...
William Kwok-Wai Cheung
SEDE
2007
15 years 2 months ago
Case study: A tool centric approach for fault avoidance in microchip designs
— Achieving reliability in fault tolerant systems requires both avoidance and redundancy. This study focuses on avoidance as it pertains to the design of microchips. The lifecycl...
Clemente Izurieta
113
Voted
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 5 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
ICWE
2007
Springer
15 years 7 months ago
Using Object Variants to Support Context-Aware Interactions
We discuss the need to extend general models and systems for context-awareness to include adaptation of interactions to context. Our approach was motivated by our experiences of de...
Michael Grossniklaus, Moira C. Norrie
WOB
2004
103views Bioinformatics» more  WOB 2004»
15 years 2 months ago
An I/O Device Driver for Bioinformatics Tools: the case for BLAST
There are many bioinformatics tools that deal with input/ output (I/O) issues by using filing systems from the most common operating systems, such as Linux or MS Windows. However, ...
Renato Mauro, Sérgio Lifschitz