Sciweavers

4957 search results - page 328 / 992
» Simplifying Distributed System Development
Sort
View
96
Voted
NCA
2005
IEEE
15 years 6 months ago
Architectural Issues of JMS Compliant Group Communication
Group communication provides one-to-many communication primitives that simplify the development of highly available services. Despite advances in research and numerous prototypes,...
Arnas Kupsys, Richard Ekwall
92
Voted
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
15 years 6 months ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
118
Voted
HUC
2004
Springer
15 years 6 months ago
CAMP: A Magnetic Poetry Interface for End-User Programming of Capture Applications for the Home
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
Khai N. Truong, Elaine M. Huang, Gregory D. Abowd
156
Voted
LPAR
2004
Springer
15 years 6 months ago
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...
Jürgen Giesl, René Thiemann, Peter Sch...
77
Voted
SOFSEM
2004
Springer
15 years 6 months ago
A Model of Versioned Web Sites
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
Mária Bieliková, Ivan Noris