Sciweavers

607 search results - page 7 / 122
» There Is Something about Might
Sort
View
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
15 years 1 months ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
CCR
2007
94views more  CCR 2007»
14 years 9 months ago
You must be joking...: why Alice killed Bob
Humor is something that I take very seriously. Recently, I have been thinking a lot about it. It all started with a pet peeve of mine that got spurred on by a comment from a stude...
Michalis Faloutsos
AAMAS
2004
Springer
14 years 9 months ago
The Dynamic Selection of Coordination Mechanisms
This paper presents and evaluates a decision making framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-rela...
Cora B. Excelente-Toledo, Nicholas R. Jennings
87
Voted
ENVSOFT
2006
87views more  ENVSOFT 2006»
14 years 9 months ago
What every agent-based modeller should know about floating point arithmetic
Floating point arithmetic is a subject all too often ignored, yet, for agent-based models in particular, it has the potential to create misleading results, and even to influence e...
J. Gareth Polhill, Luis R. Izquierdo, Nicholas Mar...
IPPS
2005
IEEE
15 years 3 months ago
Hardware-Software Interaction: Preliminary Observations
As computational devices continue to advance, there are reasons to examine their foundations a little more deeply, and to ask whether there may not be something more to be found. ...
Neil Steiner, Peter M. Athanas