Sciweavers

43 search results - page 3 / 9
» Canonical Institutions of Behaviour
Sort
View
BIRTHDAY
2008
Springer
14 years 11 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki
SCALESPACE
1999
Springer
15 years 1 months ago
Calculations on Critical Points under Gaussian Blurring
Abstract. The behaviour of critical points of Gaussian scale-space images is mainly described by their creation and annihilation. In existing literature these events are determined...
Arjan Kuijper, Luc Florack
ATAL
2006
Springer
15 years 1 months ago
Evolutionary Stability of Behavioural Types in the Continuous Double Auction
In this paper, we investigate the effectiveness of different types of bidding behaviour for trading agents in the Continuous Double Auction (CDA). Specifically, we consider behavi...
Perukrishnen Vytelingum, Dave Cliff, Nicholas R. J...
ECIS
2003
14 years 10 months ago
A qualitative approach to investigating the behavioural definitions of the four-paradigm theory of information systems developme
Hirschheim, Klein and Lyytinen introduced the four-paradigm theory of information systems development (ISD) as a significant attempt to systematise developer assumptions. The theo...
Donal J. Flynn, Zahid I. Hussain
DEXA
2007
Springer
76views Database» more  DEXA 2007»
15 years 3 months ago
Using an Object Reference Approach to Distributed Updates
With the Object-Reference (ORef) approach, the traditional object-oriented model is extended with references to act as a canonical model. Our ORef model facilitates the storage of ...
Dalen Kambur, Mark Roantree, John Murphy