Sciweavers

652 search results - page 39 / 131
» Deriving Specifications of Dependable Systems: toward a Meth...
Sort
View
BIS
2009
118views Business» more  BIS 2009»
14 years 11 months ago
Towards an Implementation of the EU Services Directive with Semantic Web Services
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
Ingo Weber, York Sure
VL
1995
IEEE
113views Visual Languages» more  VL 1995»
15 years 1 months ago
Toward Empirically-Based Software Visualization Languages
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...
Sarah A. Douglas, Christopher D. Hundhausen, Donna...
PTS
2003
108views Hardware» more  PTS 2003»
14 years 11 months ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
DIAGRAMS
2004
Springer
15 years 1 months ago
Towards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
Andrew Fish, John Howse
IOLTS
2002
IEEE
148views Hardware» more  IOLTS 2002»
15 years 3 months ago
Active Replication: Towards a Truly SRAM-Based FPGA On-Line Concurrent Testing
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...
Manuel G. Gericota, Gustavo R. Alves, Miguel L. Si...