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 8 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»
15 years 4 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
15 years 4 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
ENVSOFT
2006
87views more  ENVSOFT 2006»
15 years 4 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 10 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