Sciweavers

3804 search results - page 378 / 761
» interactions 2008
Sort
View
APLAS
2008
ACM
15 years 8 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
ATAL
2008
Springer
15 years 8 months ago
Computer science and game theory
Game theory has been playing an increasingly visible role in computer science, in areas as diverse as artificial intelligence, theory, and distributed systems, among others. I tak...
Yoav Shoham
ATAL
2008
Springer
15 years 8 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal
ATVA
2008
Springer
101views Hardware» more  ATVA 2008»
15 years 8 months ago
Run-Time Monitoring of Electronic Contracts
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
Marcel Kyas, Cristian Prisacariu, Gerardo Schneide...
BIRTHDAY
2008
Springer
15 years 8 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...