4212 search results - page 726 / 843 » Rights Expression Languages |
183
click to vote
SAC
2009
ACM
16 years 28 days ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
153
click to vote
FOSSACS
2009
Springer
16 years 28 days ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
174
click to vote
CLUSTER
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
157
click to vote
DSN
2009
IEEE
16 years 27 days ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
138
click to vote
IAT
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...