1521 search results - page 55 / 305 » On Sampled Semantics of Timed Systems |
SEMWEB
2005
Springer
14 years 4 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...
SIGIR
2004
ACM
14 years 4 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...
CDC
2008
IEEE
14 years 5 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...
IJNSEC
2008
13 years 11 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 ...
ICSE
2008
IEEE-ACM
14 years 11 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...