5255 search results - page 848 / 1051 » Formal Methods for Privacy |
165
click to vote
SBIA
2004
Springer
16 years 14 days 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...
191
click to vote
RSP
2003
IEEE
16 years 12 days 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...
195
Voted
AIME
2003
Springer
16 years 10 days 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...
206
click to vote
CHARME
2003
Springer
16 years 10 days 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...
181
click to vote
FM
2003
Springer
16 years 10 days 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 ...