7452 search results - page 1344 / 1491 » A Semantics for Multiprocessor Systems |
153
Voted
CIA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
128
Voted
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
The ability to match faces in video is a crucial component for many multimedia applications such as searching and recognizing people in semantic video browsing, surveillance and h...
129
click to vote
CONCUR
2007
Springer
15 years 10 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...
137
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...
130
Voted
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...