Sciweavers

1554 search results - page 76 / 311
» cases 2003
Sort
View
145
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
Huo Yan Chen, Yu Xia Sun, T. H. Tse
ATAL
2003
Springer
15 years 10 months ago
Deriving individual obligations from collective obligations
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
Laurence Cholvy, Christophe Garion
DBISP2P
2003
Springer
79views Database» more  DBISP2P 2003»
15 years 10 months ago
SIL: Modeling and Measuring Scalable Peer-to-Peer Search Networks
The popularity of peer-to-peer search networks continues to grow, even as the limitations to the scalability of existing systems become apparent. We propose a simple model for sear...
Brian F. Cooper, Hector Garcia-Molina
GECCO
2003
Springer
163views Optimization» more  GECCO 2003»
15 years 10 months ago
Swarms in Dynamic Environments
Charged particle swarm optimization (CPSO) is well suited to the dynamic search problem since inter-particle repulsion maintains population diversity and good tracking can be achie...
T. M. Blackwell
ECSCW
2003
15 years 6 months ago
Supporting Collaboration Ubiquitously: An Augmented Learning Environment for Architecture Students
While CSCW research has mostly been focusing on desktop applications there is a growing interest on ubiquitous and tangible computing. We present ethnographic fieldwork and prototy...
Giulio Iacucci, Ina Wagner