4302 search results - page 140 / 861 » Ambiguity as a resource for design |
179
click to vote
SP
2008
IEEE
16 years 23 days ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
165
click to vote
TABLETOP
2006
IEEE
16 years 12 days ago
2006
IEEE
The design of multi-touch multi-user tabletop user interfaces is still in its infancy and is not yet well understood. To date, published experimental results have primarily focuse...
136
click to vote
ISESE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
166
click to vote
IWSAPF
2000
15 years 10 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
193
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...