Sciweavers

2527 search results - page 259 / 506
» A UML-Based Approach to System Testing
Sort
View
DSN
2007
IEEE
15 years 10 months ago
Assessing Robustness of Web-Services Infrastructures
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
FROCOS
2005
Springer
15 years 10 months ago
Logical Analysis of Hash Functions
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
Dejan Jovanovic, Predrag Janicic
VMV
2003
142views Visualization» more  VMV 2003»
15 years 5 months ago
Evaluation and Improvement of Region-Based Motion Segmentation
Several approaches of motion segmentation were published in the last years, but an evaluation of these different approaches is missing up to now. Here we evaluate different method...
Mark Ross
ISCI
1998
193views more  ISCI 1998»
15 years 4 months ago
A Parallel Implementation of Genetic Programming that Achieves Super-Linear Performance
: This paper describes the successful parallel implementation of genetic programming on a network of processing nodes using the transputer architecture. With this approach, researc...
David Andre, John R. Koza
140
Voted
EDBT
2002
ACM
136views Database» more  EDBT 2002»
16 years 4 months ago
Rewriting Unions of General Conjunctive Queries Using Views
The problem of finding contained rewritings of queries using views is of great importance in mediated data integration systems. In this paper, we first present a general approach f...
Junhu Wang, Michael J. Maher, Rodney W. Topor