Search Sciweavers | Sciweavers

443 search results - page 9 / 89

» The logic of events

124

click to vote

VLSID
1996
IEEE

112views VLSI» more VLSID 1996»

Distributed logic simulation: time-first evaluation vs. event driven algorithms

15 years 10 months ago

Download eprints.iisc.ernet.in

S. Sundaram, Lalit M. Patnaik

claim paper

Read More »

122

click to vote

KR
2000
Springer

84views Automated Reasoning» more KR 2000»

Planning with sensing, concurrency, and exogenous events: logical framework and implementation

15 years 9 months ago

Download www.dis.uniroma1.it

Luca Iocchi, Daniele Nardi, Riccardo Rosati

claim paper

Read More »

139

click to vote

CONCUR
1991
Springer

92views Distributed And Parallel Com...» more CONCUR 1991»

Geometric Logic, Causality and Event Structures

15 years 9 months ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

122

click to vote

FSS
2007

84views more FSS 2007»

A logic for reasoning about the probability of fuzzy events

15 years 6 months ago

Download www.iiia.csic.es

Tommaso Flaminio, Lluis Godo

claim paper

Read More »

151

click to vote

ICWS
2009
IEEE

86views Internet Technology» more ICWS 2009»

WS-OBJECTS: Extending Service-Oriented Architecture with Hierarchical Composition of Client-Side Asynchronous Event-Processing L

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers