Sciweavers

271 search results - page 14 / 55
» Toward the dynamic interactome: it's about time
Sort
View
UML
2005
Springer
14 years 1 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
SOSE
2008
IEEE
14 years 2 months ago
Toward Scalable Statistical Service Selection
Selecting quality services over the Internet is tedious because it requires looking up of potential services, and yet the qualities of these services may evolve with time. Existin...
Lijun Mei, W. K. Chan, T. H. Tse
ISSTA
2009
ACM
14 years 2 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
ATAL
2001
Springer
13 years 11 months ago
Optimal Negotiation Strategies for Agents with Incomplete Information
This paper analyzes the process of automated negotiation between two competitive agents that have firm deadlines and incomplete information about their opponent. Generally speaking...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
ROBOCUP
2004
Springer
133views Robotics» more  ROBOCUP 2004»
14 years 1 months ago
Towards a League-Independent Qualitative Soccer Theory for RoboCup
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer,...