1791 search results - page 187 / 359 » Two Types of Multiple-Conclusion Systems |
WDAG
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
PATMOS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...