Sciweavers

9405 search results - page 457 / 1881
» Computing a Model of Set Theory
Sort
View
AUSAI
2006
Springer
15 years 11 months ago
A Flexible Framework for SharedPlans
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
Minh Hoai Nguyen, Wayne Wobcke
SIROCCO
2008
15 years 9 months ago
Word of Mouth: Rumor Dissemination in Social Networks
In this paper we examine the diffusion of competing rumors in social networks. Two players select a disjoint subset of nodes as initiators of the rumor propagation, seeking to maxi...
Jan Kostka, Yvonne Anne Oswald, Roger Wattenhofer
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 9 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
ACTA
2006
108views more  ACTA 2006»
15 years 7 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
ISF
2000
103views more  ISF 2000»
15 years 7 months ago
Oracles, Bards, and Village Gossips, or Social Roles and Meta Knowledge Management
Knowledge management systems are used widely in many different organizations, yet there are few models and theories which can be used to help introduce and apply them successfully....
Simon Masterton, Stuart Watt