3482 search results - page 347 / 697 » Cooperative Assembly Systems |
218
click to vote
ICCSA
2003
Springer
16 years 11 hour ago
2003
Springer
This paper presents a complete modeling system that extracts complex building structures with irregular shapes and surfaces. Our modeling approach is based on the use of airborne L...
196
click to vote
ICSE
2003
IEEE-ACM
16 years 10 hour ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
176
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditionally, an application has to be stopped to be adapted. This approach is not suitable for critical systems that have to be non-stop and highly available like bank, internet...
209
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
191
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...