Sciweavers

7766 search results - page 1317 / 1554
» Testing Nondeterminate Systems
Sort
View
IEEESCC
2010
IEEE
14 years 2 months ago
Towards a Unified Service Description Language for the Internet of Services: Requirements and First Developments
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...
Jorge Cardoso, Alistair Barros, Norman May, Uwe Ky...
ESEM
2007
ACM
14 years 2 months ago
An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability
Comprehension errors in software design must be detected at their origin to avoid propagation into later portions of the software lifecycle and also the final system. This researc...
Krystle Lemon, Edward B. Allen, Jeffrey C. Carver,...
EXPCS
2007
14 years 2 months ago
An analysis of XML compression efficiency
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
Christopher J. Augeri, Dursun A. Bulutoglu, Barry ...
CVPR
2009
IEEE
14 years 2 months ago
Keypoint induced distance profiles for visual recognition
We show that histograms of keypoint descriptor distances can make useful features for visual recognition. Descriptor distances are often exhaustively computed between sets of keyp...
Tat-Jun Chin, David Suter
FPGA
2007
ACM
124views FPGA» more  FPGA 2007»
14 years 2 months ago
Efficient hardware checkpointing: concepts, overhead analysis, and implementation
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...
Dirk Koch, Christian Haubelt, Jürgen Teich
« Prev « First page 1317 / 1554 Last » Next »