2786 search results - page 430 / 558 » A Practical Technique for Process Abstraction |
219
click to vote
HPCC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
224
click to vote
ICWL
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
149
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
140
click to vote
TSD
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Clustering is often considered the most important unsupervised learning problem and several clustering algorithms have been proposed over the years. Many of these algorit...
189
click to vote
BROADNETS
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— A number of events such as hurricanes, earthquakes, power outages can cause large-scale failures in the Internet. These in turn cause anomalies in the interdomain routi...