Sciweavers

1643 search results - page 160 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
81
Voted
ECSCW
2001
14 years 11 months ago
Team automata for spatial access control
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
Maurice H. ter Beek, Clarence A. Ellis, Jetty Klei...
IJIT
2004
14 years 11 months ago
Lung Nodule Detection in CT Scans
In this paper we describe a computer-aided diagnosis (CAD) system for automated detection of pulmonary nodules in computed-tomography (CT) images. After extracting the pulmonary pa...
Michela Antonelli, Graziano Frosini, Beatrice Lazz...
PDPTA
2004
14 years 11 months ago
An Integrated Global Service for File Transfer and Management in a Network (FTM)
The management and access of distributed informational resources has emerged as an important requirement for scientific simulations using high-performance computing facilities. Bot...
Jim Almond, Peggy Lindner
IJCAI
2003
14 years 11 months ago
Corpus-Based Knowledge Representation
A corpus-based knowledge representation system consists of a large collection of disparate knowledge fragments or schemas, and a rich set of statistics computed over the corpus. W...
Alon Y. Halevy, Jayant Madhavan
SOSP
1997
ACM
14 years 11 months ago
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
Stefan Savage, Michael Burrows, Greg Nelson, Patri...