Sciweavers

SAC
2000
ACM
13 years 12 months ago
A Synchronization Model for Hypermedia Documents Navigation
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
Augusto Celentano, Ombretta Gaggi
IJCNN
2000
IEEE
13 years 12 months ago
A Three-Dimensional Physiologically Realistic Model of the Retina
: The main purpose of this work is to create a physiologically realistic computational model of the retina by providing a flexible, real-valued three-dimensional architecture. This...
Michael Tadross, Cameron Whitehouse, Melissa Horns...
ICDCSW
2000
IEEE
13 years 12 months ago
Games-Based Model Checking of Protocols: counting doesn't count
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
Tim Kempster, Colin Stirling, Peter Thanisch
DCC
2000
IEEE
13 years 12 months ago
The Skip-Innovation Model for Sparse Images
On sparse images, contiguous runs of identical symbols often occur in the same coding context. This paper proposes a model for efficiently encoding such runs in a twodimensional s...
Paul J. Ausbeck Jr.
RT
2001
Springer
13 years 12 months ago
An Illumination Model for a Skin Layer Bounded by Rough Surfaces
In this paper we present a novel illumination model that takes into account multiple anisotropic scattering in a layer bounded by two rough surfaces. We compute the model by a dis...
Jos Stam
RE
2001
Springer
13 years 12 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
MMMACNS
2001
Springer
13 years 12 months ago
The Set and Function Approach to Modeling Authorization in Distributed Systems
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Tatyana Ryutov, B. Clifford Neuman
ICIAP
2001
Springer
13 years 12 months ago
A Neurodynamical Retinal Network Based on Reaction-Diffusion Systems
A dynamical model for retinal processing is presented. The model describes the output of retinal ganglion cells whose receptive field is composed of a center and a surround combi...
Matthias S. Keil, Gabriel Cristóbal, Heiko ...
ICANN
2001
Springer
13 years 12 months ago
The Importance of Representing Cognitive Processes in Multi-agent Models
We distinguish between two main types of model: predictive and explanatory. It is argued (in the absence of models that predict on unseen data) that in order for a model to increas...
Bruce Edmonds, Scott Moss
ER
2001
Springer
96views Database» more  ER 2001»
13 years 12 months ago
Process Patterns to Generate E-commerce Systems
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
Prasad Jayaweera, Paul Johannesson, Petia Wohed