1521 search results - page 53 / 305 » On Sampled Semantics of Timed Systems |
ENTCS
2007
13 years 11 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
SAC
2011
ACM
13 years 1 months ago
2011
ACM
Semantic caching augments cached data with a semantic description of the data. These semantic descriptions can be used to improve execution time for similar queries by retrieving ...
CSWWS
2006
14 years 2 months ago
2006
The realization of Semantic Web vision is based on the creation and use of semantic web content which needs software tools both for semantic web developers and end users. Over the ...
RTAS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
FOSSACS
2004
Springer
14 years 4 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...