9719 search results - page 1629 / 1944 » Answer Set Optimization |
142
Voted
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
Quality of service (QoS) is one of the key features for new Internet-based multimedia and other applications. Meanwhile, energy remains as a big concern for systems that perform s...
162
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
An explosion in the amount of data generated through chemical and biological experimentation has been observed in recent years. This rapid proliferation of vast amounts of data ha...
170
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
181
click to vote
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
The commercial success of Cloud computing and recent developments in Grid computing have brought platform virtualization technology into the field of high performance computing. Vi...
196
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...