Sciweavers

2800 search results - page 214 / 560
» Fibrational Control Structures
Sort
View
LICS
2005
IEEE
15 years 10 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
SRDS
2005
IEEE
15 years 10 months ago
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
Sara Bouchenak, Fabienne Boyer, Sacha Krakowiak, D...
FSTTCS
2005
Springer
15 years 10 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
HICSS
2002
IEEE
129views Biometrics» more  HICSS 2002»
15 years 9 months ago
Implementing ERP Systems in China
This paper reports the findings of an exploratory study of R/3 users in China which was conducted in Spring 2000. The broad purpose of the study is to identify crucial implementat...
Kai Reimers
ECSQARU
2001
Springer
15 years 9 months ago
An Empirical Investigation of the K2 Metric
Abstract. The K2 metric is a well-known evaluation measure (or scoring function) for learning Bayesian networks from data [7]. It is derived by assuming uniform prior distributions...
Christian Borgelt, Rudolf Kruse