Sciweavers

1054 search results - page 49 / 211
» Compositional Refinement of Interactive Systems Modelled by ...
Sort
View
119
Voted
NPAR
2004
ACM
15 years 9 months ago
Example-based composite sketching of human portraits
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult problem. Elusive to codify algorithmically, the nebulous qualities which...
Hong Chen, Ziqiang Liu, Chuck Rose, Yingqing Xu, H...
CONCUR
2008
Springer
15 years 5 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
ICSM
1999
IEEE
15 years 8 months ago
Hot Spot Recovery in Object-Oriented Software with Inheritance and Composition Template Methods
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...
Reinhard Schauer, Sébastien Robitaille, Fra...
114
Voted
MOBISYS
2005
ACM
16 years 3 months ago
A relative positioning system for co-located mobile devices
If a mobile computing device knows how it is positioned and oriented in relation to other devices nearby, then it can provide enhanced support for multi-device and multi-user inte...
Mike Hazas, Christian Kray, Hans-Werner Gellersen,...
CSCW
2006
ACM
15 years 10 months ago
Sandboxes: supporting social play through collaborative multimedia composition on mobile phones
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
David Fono, Scott Counts