118
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
A total order protocol is a fundamental building block in the construction of distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be...
105
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Link farm spam and replicated pages can greatly deteriorate link-based ranking algorithms like HITS. In order to identify and neutralize link farm spam and replicated pages, we lo...
97
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
89
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
119
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
98
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Knowing tourists' individual preferences provides the possibility to offer personalized tours. The challenge is to capture these preferences using a mobile device. During a f...
134
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology r...
104
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
84
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
High volume print jobs are getting more common due to the growing demand for personalized documents. In this context, Variable Data Printing (VDP) has become a useful tool for mar...
99
Voted
SAC
2006
ACM
14 years 11 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...