1287 search results - page 158 / 258 » Reduction of Timed Hybrid Systems |
117
click to vote
MOVEP
2000
15 years 7 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
104
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...
143
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
116
click to vote
WWW
2003
ACM
15 years 9 months ago
2003
ACM
: Domain name system (DNS) is a primary identification mechanism for Internet applications. However, DNS resolutions often take an unbearably long time, and this could seriously i...
130
click to vote
CAINE
2004
15 years 5 months ago
2004
On the Internet, it is common practice to use a computer to provide web caching services. Such services aim to reduce network utilization and improve access time to a web page. Li...