Sciweavers

768 search results - page 66 / 154
» Data Movement in Kernelized Systems
Sort
View
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
14 years 3 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
HPDC
2000
IEEE
14 years 2 months ago
Flexible High-Performance Access to Distributed Storage Resources
We describe a software architecture for storage services in computational grid environments. Based upon a lightweight message-passing paradigm, the architecture enables the provis...
Craig J. Patten, Kenneth A. Hawick
WSC
1998
13 years 11 months ago
Discrete Event Simulation Experiments and Geographic Information Systems in Congestion Management Planning
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
Roy Brooks Wiley, Thomas K. Keyser
AAAI
2000
13 years 11 months ago
An Expert System for Recognition of Facial Actions and their Intensity
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
Maja Pantic, Léon J. M. Rothkrantz
DUX
2007
14 years 1 months ago
180 x 120: designing alternate location systems
Using 180 RFID tags to track and plot locations over time, guests to an event at the San Francisco Museum of Modern Art (SFMOMA) collectively constructed a public visualization of...
Eric Paulos, Anthony Burke, Tom Jenkins, Karen Mar...