Sciweavers

19003 search results - page 90 / 3801
» We Need Assurance!
Sort
View
ICWE
2004
Springer
15 years 11 months ago
Semantic Capabilities for the Metrics and Indicators Cataloging Web System
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
Hernán Molina, Fernanda Papa, María ...
SCS
2004
15 years 7 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 3 months ago
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
Mads Dam, Andreas Lundblad
IWQOS
2005
Springer
15 years 11 months ago
QoS in Hybrid Networks - An Operator's Perspective
The goal of this paper is to foster discussions on future directions for QoS related research. The paper takes the viewpoint of an operator; as an example it presents the topology,...
Aiko Pras, Remco van de Meent, Michel Mandjes
SE
2008
15 years 7 months ago
A TTCN-3-based Web Service Test Framework
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
Edith Werner, Jens Grabowski, Stefan Troschüt...