4520 search results - page 879 / 904 » Algebraic Techniques for Timed Systems |
ICFEM
2009
Springer
14 years 5 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
IWMM
2009
Springer
14 years 5 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...
NOSSDAV
2009
Springer
14 years 5 months ago
2009
Springer
In recent years, web based online map applications have been getting more and more popular, such as Google Maps, Yahoo Maps. Many new Web 2.0 techniques such as mash-up and AJAX w...
SCIA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
AUTOMOTIVEUI
2009
ACM
14 years 5 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...