Sciweavers

2479 search results - page 142 / 496
» Random Event Structures
Sort
View
140
Voted
PPL
2008
88views more  PPL 2008»
15 years 5 months ago
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks
Fault-tolerance and lookup consistency are considered crucial properties for building applications on top of structured overlay networks. Many of these networks use the ring topol...
Boris Mejías, Peter Van Roy
CAISE
2005
Springer
15 years 10 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels
144
Voted
ITC
2003
IEEE
143views Hardware» more  ITC 2003»
15 years 10 months ago
Designed -in-diagnostics: A new optical method
An in-circuit diagnostic test structure triggered by a light pulse captures logic states on-chip with picosecond timing accuracy, and the results read out via a scan chain thus pr...
Keneth R. Wilsher
115
Voted
MFCS
1993
Springer
15 years 9 months ago
Deterministic Behavioural Models for Concurrency
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
142
Voted
PDPTA
2000
15 years 6 months ago
Managing Distributed Systems with Smart Subscriptions
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
Robert E. Filman, Diana D. Lee