5810 search results - page 941 / 1162 » An Approach to Programming Based on Concepts |
153
click to vote
SCAM
2007
IEEE
16 years 24 days ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
155
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
166
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
163
click to vote
IFIP
2007
Springer
16 years 20 days ago
2007
Springer
In this paper, we present a novel mechanism for the multicast congestion control over UMTS networks. The proposed mechanism is based on the well known TCP-Friendly Multicast Conges...
165
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...