Sciweavers

TSMC
2010
13 years 6 months ago
Contrasting Views of Complexity and Their Implications For Network-Centric Infrastructures
There exists a widely recognized need to better understand and manage complex "systems of systems," ranging from biology, ecology, and medicine to network-centric technol...
David L. Alderson, John C. Doyle
TSMC
2010
13 years 6 months ago
Interaction Modeling and Prediction in Smart Spaces: A Bio-Inspired Approach Based on Autobiographical Memory
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...
Alessio Dore, Andrea F. Cattoni, Carlo S. Regazzon...
TSMC
2010
13 years 6 months ago
A Benchmark Diagnostic Model Generation System
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
Jun Wang, Gregory M. Provan
TSI
2010
13 years 6 months ago
Greta, une plateforme d'agent conversationnel expressif et interactif
This paper presents a generic ,modular and interactive architecture for embodied conversational agent called Greta. It is 3D agent able to communicate with users using verbal and n...
Etienne de Sevin, Radoslaw Niewiadomski, Elisabett...
TSI
2010
13 years 6 months ago
Diva, une architecture pour le support des agents gestuels interactifs sur internet
In this paper, we present a Web-based framework for interactive deictic and sign language virtual agents. Our framework is a DOM-Integrated Virtual Agents architecture, which has b...
Annelies Braffort, Jean-Paul Sansonnet, Jean-Claud...
TSE
2010
132views more  TSE 2010»
13 years 6 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt
TSE
2010
120views more  TSE 2010»
13 years 6 months ago
Efficient Software Verification: Statistical Testing Using Automated Search
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
Simon M. Poulding, John A. Clark
TSE
2010
197views more  TSE 2010»
13 years 6 months ago
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
Vahid Garousi
TSE
2010
85views more  TSE 2010»
13 years 6 months ago
Editorial: How Special Should Issues Be?
Bashar Nuseibeh
TSE
2010
155views more  TSE 2010»
13 years 6 months ago
Incremental Test Generation for Software Product Lines
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory