3931 search results - page 570 / 787 » Separation logic and abstraction |
171
click to vote
WILF
2007
Springer
16 years 1 months ago
2007
Springer
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...
163
click to vote
CCS
2004
ACM
16 years 21 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
213
Voted
PDP
2010
IEEE
16 years 18 days ago
2010
IEEE
Abstract—Load balancing algorithms are an essential component of parallel computing reducing the response time of applications. Frequently, balancing algorithms have a centralize...
193
click to vote
TPHOL
2003
IEEE
16 years 17 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
219
Voted
CP
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...