6978 search results - page 1116 / 1396 » On Proofs in System P |
179
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Motorola System on Chip Design Technologies (SoCDT) team aims at providing a system design environment for its customers. The Toulouse branch concentrates on design efforts in...
169
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a computer vision system that automatically detects pulmonary nodules in computed tomography (CT) scans of oncology patients, performs size analysis and assess...
184
click to vote
COOPIS
1996
IEEE
15 years 11 months ago
1996
IEEE
A federated database is comprised of multiple interconnected database systems that primarily operate independently but cooperate to a certain extent. Global integrity constraints c...
169
click to vote
SRDS
1996
IEEE
15 years 11 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
202
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...