1521 search results - page 55 / 305 » On Sampled Semantics of Timed Systems |
144
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
158
Voted
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
The exponential growth of data demands scalable infrastructures capable of indexing and searching rich content such as text, music, and images. A promising direction is to combine...
135
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present a dynamic optimization approach to save energy in Wireless Sensor Networks (WSN) at the link level. One of the main sources of energy waste in a WSN is idle listenin...
131
Voted
IJNSEC
2008
15 years 3 months ago
2008
In flow-based mix networks, flow correlation attacks have been proposed earlier and have been shown empirically to seriously degrade mix-based anonymous communication systems. In ...
138
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...