1042 search results - page 14 / 209 » Can Aspects Implement Contracts |
WWW
2005
ACM
14 years 10 months ago
2005
ACM
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
We discuss a physical implementation of the Crystalline robot system. Crystalline robots consist of modules that can aggregate together to form distributed robot systems. Crystall...
AOSD
2011
ACM
13 years 4 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...