5255 search results - page 848 / 1051 » Formal Methods for Privacy |
151
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
169
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
179
click to vote
AIME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Morphological knowledge (inflection, derivation, compounds) is useful for medical language processing. Some is available for medical English in the UMLS Specialist Lexic...
182
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
162
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...