1391 search results - page 268 / 279 » Completeness of Neighbourhood Logic |
GI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
CASES
2004
ACM
14 years 1 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
SIGCOMM
2004
ACM
14 years 1 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...