Sciweavers

4041 search results - page 133 / 809
» time 2009
Sort
View
DLT
2009
15 years 4 months ago
On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations
Abstract. We analyze Hmelevskii's theorem, which states that the general solutions of constant-free equations on three unknowns are expressible by a finite collection of formu...
Aleksi Saarela
RTSS
2009
IEEE
16 years 1 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
SSD
2009
Springer
128views Database» more  SSD 2009»
15 years 11 months ago
TOQL: Temporal Ontology Querying Language
We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queri...
Evdoxios Baratis, Euripides G. M. Petrakis, Sotiri...
WOWMOM
2009
ACM
130views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
Interference aware route optimization with predicted network conditions
The basic idea presented in this paper is to use interference aware routing with predicted interference. Noise and other values are measured over a long time and within a wide are...
Till Wollenberg, Thomas Mundt
INFOCOM
2009
IEEE
16 years 1 months ago
Exact Analysis of Latency of Stateless Opportunistic Forwarding
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
Chi-Kin Chau, Prithwish Basu