1223 search results - page 216 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
USENIX
2008
14 years 12 months ago
2008
zation is a well-known method of abstracting physical resources and of separating the manipulation and use of logical resources from their underlying implementation. We have used ...
JLP
2006
14 years 9 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
EDOC
2006
IEEE
15 years 3 months ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
107
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...