Sciweavers

872 search results - page 103 / 175
» UML-based design test generation
Sort
View
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 9 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
ACMICEC
2003
ACM
130views ECommerce» more  ACMICEC 2003»
15 years 9 months ago
A business-to-business interoperability testbed: an overview
In this paper, we describe a business-to-business (B2B) testbed co-sponsored by the Open Applications Group, Inc. (OAGI) and the National Institute of Standard and Technology (NIS...
Boonserm Kulvatunyou, Nenad Ivezic, Monica Martin,...
CCGRID
2004
IEEE
15 years 7 months ago
A reputation-based trust management system for P2P networks
The open and anonymous nature of a P2P network makes it an ideal medium for attackers to spread malicious content. In this paper, we propose a reputation-based trust management sy...
Ali Aydin Selçuk, Ersin Uzun, Mark Resat Pa...
USS
2008
15 years 6 months ago
Experiences with Model Inference Assisted Fuzzing
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
Joachim Viide, Aki Helin, Marko Laakso, Pekka Piet...
158
Voted
AAAI
2010
15 years 5 months ago
How Incomplete Is Your Semantic Web Reasoner?
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...