Sciweavers

911 search results - page 24 / 183
» The Semantics of Event Prevention
Sort
View
EMSOFT
2004
Springer
15 years 3 months ago
An event detection algebra for reactive systems
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
Jan Carlson, Björn Lisper
52
Voted
ISCAS
2003
IEEE
93views Hardware» more  ISCAS 2003»
15 years 3 months ago
Lossless non-arbitrated address-event coding
A new address-event coding technique for off chip communication in neuromorphic and other perceptual systems is presented. Unlike all known solutions for address-event communicati...
Vladimir Brajovic
SMC
2010
IEEE
157views Control Systems» more  SMC 2010»
14 years 8 months ago
Business Continuity management system that supports progress management and operational planning
— Japan is known as an “earthquake country” and hence both companies and governments require an operation management method called BCM to ensure that operations and services ...
Seigo Kawamura, Yoshio Nakatani
ICCS
2003
Springer
15 years 2 months ago
Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
Susmit Bagchi, Mads Nygaard
68
Voted
CCS
2001
ACM
15 years 2 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel