1288 search results - page 140 / 258 » On Analysis of Design Component Contracts: A Case Study |
119
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
123
click to vote
OOPSLA
2010
Springer
15 years 2 days ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
128
click to vote
VRST
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
103
click to vote
CHI
2005
ACM
16 years 2 months ago
2005
ACM
This two-day workshop will advance discussion on the role of public interfaces in engaging citizens within the urban context. The aim is to determine how technology can help to de...
118
click to vote
ISOOMS
1994
15 years 5 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...