2232 search results - page 431 / 447 » Formal Modeling and Analysis of Organizations |
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
IMC
2004
ACM
15 years 3 months ago
2004
ACM
The Domain Name System (DNS) is a critical part of the Internet’s infrastructure, and is one of the few examples of a robust, highlyscalable, and operational distributed system....
92
Voted
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
PODC
2004
ACM
15 years 3 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
ICA
2004
Springer
15 years 3 months ago
2004
Springer
SOBI is a blind source separation algorithm based on time decorrelation. It uses multiple time autocovariance matrices, and performs joint diagonalization thus being more robust th...