Sciweavers

3547 search results - page 412 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
RE
2007
Springer
16 years 27 days ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
PLDI
2006
ACM
16 years 22 days ago
Effective static race detection for Java
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
Mayur Naik, Alex Aiken, John Whaley
HICSS
2005
IEEE
125views Biometrics» more  HICSS 2005»
16 years 11 days ago
A Preliminary Analysis of the Influences of Licensing and Organizational Sponsorship on Success in Open Source Projects
This paper develops and tests a model of the impact of licensing restrictiveness and organizational sponsorship on the popularity and vitality of open source software (OSS) develo...
Katherine J. Stewart, Anthony P. Ammeter, Likoebe ...
SAC
2005
ACM
16 years 10 days ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi
IVA
2005
Springer
16 years 8 days ago
Training Agents: An Architecture for Reusability
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
Gonzalo Méndez, Angélica de Antonio