1221 search results - page 112 / 245 » A Comparison of Two Programming Models for Pervasive Computi... |
119
Voted
CN
2006
15 years 3 months ago
2006
Several dynamic QoS routing techniques have been recently proposed for new IP networks based on label forwarding. However, no extensive performance evaluation and comparison is av...
121
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...
122
Voted
CONCUR
1991
Springer
15 years 7 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
181
Voted
AAAI
2008
15 years 4 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
123
Voted
JSSPP
2005
Springer
15 years 9 months ago
2005
Springer
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...