Sciweavers

4286 search results - page 385 / 858
» Formalizing Service Interactions
Sort
View
ATAL
2003
Springer
15 years 12 months ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
152
Voted
EICS
2010
ACM
15 years 11 months ago
User interface model discovery: towards a generic approach
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
Andy Gimblett, Harold W. Thimbleby
ATAL
2004
Springer
15 years 10 months ago
Managing Multi-Agent Coordination, Planning, and Scheduling
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
Wei Chen, Keith Decker
COLT
2008
Springer
15 years 8 months ago
Linear Algorithms for Online Multitask Classification
We design and analyze interacting online algorithms for multitask classification that perform better than independent learners whenever the tasks are related in a certain sense. W...
Giovanni Cavallanti, Nicolò Cesa-Bianchi, C...
WSC
2004
15 years 8 months ago
Developing Federation Object Models Using Ontologies
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
Tarun Rathnam, Christiaan J. J. Paredis