6308 search results - page 119 / 1262 » Modeling Urgency in Timed Systems |
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
108
click to vote
PERVASIVE
2011
Springer
14 years 24 days ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
LREC
2010
14 years 11 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
In audio fingerprinting, an audio clip must be recognized by matching an extracted fingerprint to a database of previously computed fingerprints. The fingerprints should reduc...
108
click to vote
FMOODS
2007
14 years 11 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...