Sciweavers

786 search results - page 1 / 158
» A static theory of promises
Sort
View
CORR
2008
Springer
52views Education» more  CORR 2008»
13 years 4 months ago
A static theory of promises
We discuss for the concept of promises within a framework that can be applied to either humans or technology. We compare promises to the more established notion of obligations and...
Jan A. Bergstra, Mark Burgess
AIMS
2007
Springer
13 years 11 months ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
ICNS
2006
IEEE
13 years 10 months ago
Promise theory - a model of autonomous objects for pervasive computing and swarms
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
Mark Burgess, Siri Fagernes
AIMS
2007
Springer
13 years 11 months ago
Understanding Promise Theory Using Rewriting Logic
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
Kyrre M. Begnum, Mark Burgess