3047 search results - page 437 / 610 » On the Meaning of Logical Completeness |
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
100
click to vote
FPL
2007
Springer
15 years 4 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
104
click to vote
ICMI
2007
Springer
15 years 4 months ago
2007
Springer
Adding expressive haptic feedback to mobile devices has great potential to improve their usability, particularly in multitasking situations where one’s visual attention is requi...
ICTCS
2007
Springer
15 years 4 months ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
63
Voted
IPOM
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a full video delivery network monitoring suite. Our monitoring tool offers a new view of a video delivery network, a view based on the quality perceived by fi...