Sciweavers

286 search results - page 40 / 58
» Crypto Engineering: Some History and Some Case Studies
Sort
View
ICSE
2007
IEEE-ACM
14 years 1 months ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
ICSM
2002
IEEE
14 years 17 days ago
A Technique for Dynamic Updating of Java Software
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
Alessandro Orso, Anup Rao, Mary Jean Harrold
ICST
2010
IEEE
13 years 6 months ago
Does Hardware Configuration and Processor Load Impact Software Fault Observability?
Intermittent failures and nondeterministic behavior complicate and compromise the effectiveness of software testing and debugging. To increase the observability of software faults,...
Raza Abbas Syed, Brian Robinson, Laurie A. William...
ISSRE
2003
IEEE
14 years 28 days ago
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
Ruilian Zhao, Michael R. Lyu, Yinghua Min
JCDL
2005
ACM
111views Education» more  JCDL 2005»
14 years 1 months ago
Digitization and 3D modeling of movable books
Movable books provide interesting challenges for digitization and user interfaces design. We report in this paper some preliminary results in the building of a 3D visualization wo...
Pierre Cubaud, Jérôme Dupire, Alexand...