Sciweavers

2223 search results - page 15 / 445
» Events in Property Patterns
Sort
View
B
2007
Springer
15 years 3 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
SIGSOFT
2004
ACM
15 years 10 months ago
Implementing protocols via declarative event patterns
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
Robert J. Walker, Kevin Viggers
ISCAS
2006
IEEE
111views Hardware» more  ISCAS 2006»
15 years 3 months ago
Spike response properties of an AER EAR
We present measured frequency-gain functions and the spike rate outputs of the different sections in a spiking silicon cochlea chip. The chip consists of a matched pair of silicon...
V. Chan, André van Schaik, Shih-Chii Liu
71
Voted
PVLDB
2010
89views more  PVLDB 2010»
14 years 8 months ago
Recognizing Patterns in Streams with Imprecise Timestamps
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
Haopeng Zhang, Yanlei Diao, Neil Immerman
CALCO
2005
Springer
109views Mathematics» more  CALCO 2005»
15 years 3 months ago
Final Semantics for Event-Pattern Reactive Programs
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
César Sánchez, Henny B. Sipma, Matte...