1042 search results - page 14 / 209 » Can Aspects Implement Contracts |
141
Voted
WWW
2005
ACM
16 years 3 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...
115
click to vote
CONCUR
2005
Springer
15 years 8 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...
126
click to vote
ICRA
2000
IEEE
15 years 6 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...
166
click to vote
AOSD
2011
ACM
14 years 10 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...
129
click to vote
CORR
2002
Springer
15 years 3 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...