832 search results - page 47 / 167 » The Design and Implementation of Zap: A System for Migrating... |
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
CAPTECH
1998
Springer
14 years 3 days ago
1998
Springer
In this paper, we present a method for robustly extracting the silhouette form of the participant within an interactive environment. The approach overcomes the inherent problems as...
APLAS
2000
ACM
14 years 8 days ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
DAC
1999
ACM
14 years 6 days ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
HASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...