Sciweavers

2132 search results - page 372 / 427
» Automated software winnowing
Sort
View
LCN
2003
IEEE
15 years 9 months ago
A Highly Flexible Testbed for Studies of ad-hoc Network Behaviour
Studies of mobile ad-hoc networks are often based on simulation and their underlying, necessarily simplified assumptions of physical reality. In order to analyse the practical pro...
Hartmut Ritter, Min Tian, Thiemo Voigt, Jochen H. ...
LICS
2003
IEEE
15 years 9 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
METRICS
2003
IEEE
15 years 9 months ago
Estimating the Design Effort of Web Applications
Our study focuses on the effort needed for designing Web applications. The effort required for the design phase is an important part of the total development effort of a Web appli...
Luciano Baresi, Sandro Morasca, Paolo Paolini
WECWIS
2003
IEEE
82views ECommerce» more  WECWIS 2003»
15 years 9 months ago
Property Propagation Rules for Prioritizing and Synchronizing Trading Activities
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...
Yain-Whar Si, David Edmond, Arthur H. M. ter Hofst...
WISE
2003
Springer
15 years 9 months ago
The Many Faces of Mapping and Translation for Semantic Web Services
Semantic web services hold the promise of greatly increasing interoperability among software agents and web services by enabling content-based (as opposed to format-based) automat...
Mark H. Burstein