Sciweavers

2317 search results - page 150 / 464
» Model based testing for agent systems
Sort
View
ICASSP
2011
IEEE
14 years 7 months ago
Audio identification based on spectral modeling of bark-bands energy and synchronization through onset detection
In this paper, we present for the first time the fingerprint IRCAM system for audio identification in streams. The baseline system relies on a double-nested Short Time Fourier ...
Mathieu Ramona, Geoffroy Peeters
151
Voted
HCI
2007
15 years 5 months ago
Social Puppets: Towards Modular Social Animation for Agents and Avatars
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
Hannes Högni Vilhjálmsson, Chirag Merc...
125
Voted
AAMAS
2004
Springer
15 years 3 months ago
Tropos: An Agent-Oriented Software Development Methodology
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
143
Voted
ESAW
2000
Springer
15 years 7 months ago
Context-Dependency in Internet-Agent Coordination
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
APCCM
2008
15 years 5 months ago
A Practical Guide to Testing the Understandability of Notations
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
Susanne Patig