Sciweavers

4041 search results - page 146 / 809
» time 2009
Sort
View
ESWS
2009
Springer
15 years 4 months ago
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
Jonas Tappolet, Abraham Bernstein
FAW
2009
Springer
177views Algorithms» more  FAW 2009»
16 years 1 months ago
Bounds on the Geometric Mean of Arc Lengths for Bounded-Degree Planar Graphs
Data access time becomes the main bottleneck in applications dealing with large-scale graphs. Cache-oblivious layouts, constructed to minimize the geometric mean of arc lengths of ...
Mohammad Khairul Hasan, Sung-Eui Yoon, Kyung-Yong ...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 9 months ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut
ICDCS
2009
IEEE
15 years 4 months ago
High-Speed Flow Nature Identification
This paper concerns the fundamental problem of identifying the content nature of a flow, namely text, binary, or encrypted, for the first time. We propose Iustitia, a tool for ide...
Amir R. Khakpour, Alex X. Liu
CSFW
2009
IEEE
16 years 1 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...