Sciweavers

235 search results - page 32 / 47
» A Comprehensive Interface Definition Framework for Software ...
Sort
View
106
Voted
WWW
2008
ACM
16 years 1 months ago
An efficient two-phase service discovery mechanism
This paper brings forward a two-phase semantic service discovery mechanism which supports both the operation matchmaking and operation-composition matchmaking. A serial of experim...
ShuiGuang Deng, Zhaohui Wu, Jian Wu, Ying Li
104
Voted
DLS
2007
177views Languages» more  DLS 2007»
15 years 2 months ago
An adaptive package management system for scheme
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
Manuel Serrano, Erick Gallesio
107
Voted
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
15 years 6 months ago
Web graph analyzer tool
We present the software tool “Web Graph Analyzer”. This tool is designed to perform a comprehensive analysis of the Web Graph structure. By Web Graph we mean a graph whose ver...
Konstantin Avrachenkov, Danil Nemirovsky, Natalia ...
128
Voted
CADUI
2004
15 years 1 months ago
A Lightweight Experiment Management System for Handheld Computers
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
Philip D. Gray, Joy Goodman, James Macleod
84
Voted
FMCAD
2006
Springer
15 years 4 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...