Sciweavers

1507 search results - page 183 / 302
» A Framework for Open Distributed System Design
Sort
View
121
Voted
ATAL
2006
Springer
15 years 7 months ago
An agent based general solution model for the course timetabling problem
This paper proposes a general solution model using agent technology in order to solve two critical open issues in the course timetabling problem: application-specific issues and d...
Yan Yang, Raman Paranjape, Luigi Benedicenti
116
Voted
SFP
2003
15 years 5 months ago
Implementing Mobile Haskell
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
André Rauber Du Bois, Philip W. Trinder, Ha...
136
Voted
ADT
2005
15 years 3 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm
161
Voted
AAMAS
1999
Springer
15 years 3 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
143
Voted
GECCO
2005
Springer
220views Optimization» more  GECCO 2005»
15 years 9 months ago
Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
Mark Fleischer