7766 search results - page 1142 / 1554 » Testing Nondeterminate Systems |
137
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
173
Voted
IEEESCC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Computing resource provisioning through the use of the Cloud computing paradigm has triggered revolutions in modern day computing. It is a new paradigm for deploying services o...
167
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
119
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Evaluating and enforcing policies in large-scale networks is one of the most challenging and significant problems facing the network security community today. Current solutions ar...
134
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Similarity search in metric spaces is a general paradigm that can be used in several application fields. It can also be effectively exploited in content-based image retrieval syst...