3733 search results - page 226 / 747 » Logics of communication and change |
108
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
Multicast applications for large-scale Mobile Ad hoc NETworks (MANETs) require an efficient and effective Quality of Service (QoS)-aware multicast model. The new requirements to ...
121
click to vote
TCC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
100
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
EUROPAR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...