Search Sciweavers | Sciweavers

34

LPAR
2004
Springer

98views Automated Reasoning» more LPAR 2004»

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

14 years 3 months ago

Abstract. To produce a program guaranteed to satisfy a given speciﬁcation one can synthesize it from a formal constructive proof that a computation satisfying that speciﬁcation...

Mark Bickford, Robert L. Constable, Joseph Y. Halp...

claim paper

Read More »

30

click to vote

CORR
2004
Springer

82views Education» more CORR 2004»

Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams

13 years 9 months ago

Download www.cs.cornell.edu

We introduce an extension of the XQuery language, FluX, that supports event-based query processing and the conscious handling of main memory buffers. Purely event-based queries of...

Christoph Koch, Stefanie Scherzinger, Nicole Schwe...

claim paper

Read More »

32

click to vote

IMC
2005
ACM

118views Internet Technology» more IMC 2005»

Exploiting Underlying Structure for Detailed Reconstruction of an Internet-scale Event

14 years 3 months ago

Download conferences.sigcomm.org

Network “telescopes” that record packets sent to unused blocks of Internet address space have emerged as an important tool for observing Internet-scale events such as the spre...

Abhishek Kumar, Vern Paxson, Nicholas Weaver

claim paper

Read More »

41

click to vote

BMCBI
2005

114views more BMCBI 2005»

Systematic analysis of human kinase genes: a large number of genes and alternative splicing events result in functional and stru

13 years 10 months ago

Download www.biomedcentral.com

Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...

Luciano Milanesi, Mauro Petrillo, Leandra Sepe, An...

claim paper

Read More »

22

click to vote

CONCUR
2007
Springer

93views Distributed And Parallel Com...» more CONCUR 2007»

Compositional Event Structure Semantics for the Internal pi -Calculus

14 years 4 months ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper