Sciweavers

3218 search results - page 191 / 644
» Timed Extensions for SDL
Sort
View
ISBI
2004
IEEE
16 years 5 months ago
Automatic Quantification of Microtubule Dynamics
The dynamics of the microtubule assembly are very significant both for cell function and structure. Abnormal function of the assembly is involved in neurodegenerative diseases and...
Stathis Hadjidemetriou, James S. Duncan, Derek Too...
WWW
2009
ACM
16 years 5 months ago
C-SPARQL: SPARQL for continuous querying
C-SPARQL is an extension of SPARQL to support continuous queries over RDF data streams. Supporting streams in RDF format guarantees interoperability and opens up important applica...
Davide Francesco Barbieri, Daniele Braga, Stefano ...
SOFSEM
2009
Springer
16 years 1 months ago
Event-Clock Visibly Pushdown Automata
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
Nguyen Van Tang, Mizuhito Ogawa
GLOBECOM
2008
IEEE
15 years 11 months ago
Distributed Load-Aware Routing in LEO Satellite Networks
—In this paper, we propose a lightweight distributed routing algorithm, called Distributed Load-Aware Routing (DLAR). The proposed protocol adopts a distributed approach to handl...
Evangelos Papapetrou, Fotini-Niovi Pavlidou
SCCC
2008
IEEE
15 years 11 months ago
Hardware Synthesis for Asynchronous Communications Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
Kyller Costa Gorgônio, Jordi Cortadella