841 search results - page 45 / 169 » Accounting Mechanisms for Distributed Work Systems |
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Centralized government document infrastructure and a policy commitment to transform the tourism sector to a more vivid and efficient business sector works as drivers for implement...
CCS
2004
ACM
15 years 3 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
SRDS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
IPMI
2003
Springer
15 years 3 months ago
2003
Springer
This work presents an efficient and automated method to extract the human cerebral ventricular system from MRI driven by anatomic knowledge. The ventricular system is divided into ...
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
The shared data space model has proven to be an effective paradigm for building distributed applications. However, building an efficient distributed implementation remains a chall...