Sciweavers

3119 search results - page 143 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
DSVIS
2008
Springer
14 years 12 months ago
ReWiRe: Designing Reactive Systems for Pervasive Environments
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Geert Vanderhulst, Kris Luyten, Karin Coninx
104
Voted
ML
1998
ACM
220views Machine Learning» more  ML 1998»
14 years 9 months ago
Learning to Improve Coordinated Actions in Cooperative Distributed Problem-Solving Environments
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
Toshiharu Sugawara, Victor R. Lesser
COORDINATION
2006
Springer
15 years 1 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
CC
2001
Springer
103views System Software» more  CC 2001»
15 years 2 months ago
Design-Driven Compilation
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
Radu Rugina, Martin C. Rinard
BROADNETS
2007
IEEE
15 years 4 months ago
Separating routing and forwarding: A clean-slate network layer design
Abstract— We present a “clean-slate” design for a networklayer routing and forwarding system intended to address shortcomings of the current Internet Protocol. Our design sep...
Kenneth L. Calvert, Jim Griffioen, Leonid B. Pouti...