1585 search results - page 239 / 317 » A framework for computer-aided validation |
105
Voted
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
In peer-to-peer overlay for video broadcast, peers contribute a portion of the bandwidth to the overlay in return for the service. In the presence of network heterogeneity, it is ...
146
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
In spite of the recent quick growth of the Evolutionary Multi-objective Optimization (EMO) research field, there has been few trials to adapt the general variation operators to t...
133
click to vote
SACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper formalizes the security adversarial games for online symmetric cryptosystems in a unified framework for deterministic and probabilistic encryption schemes. On...
143
Voted
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
An increasing percentage of the data needed by business applications is being generated in XML format. Storing the XML in its native format will facilitate new applications that e...
111
Voted
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
While numerous efforts have focused on service composition in the Grid environment, service selection among similar services from multiple providers has not been addressed. In par...