Sciweavers

3561 search results - page 35 / 713
» Design: One, but in different forms
Sort
View
ECIS
2000
15 years 7 months ago
Design Breakdowns, Scenarios and Rapid Application Development
- In this paper we consider the way in which two representational forms, scenarios and design breakdowns, which have emerged in the tradition of participatory design are relevant w...
Paul Beynon-Davies
SAC
2008
ACM
15 years 5 months ago
A framework for performance evaluation and functional verification in stochastic process algebras
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
ICCV
2009
IEEE
16 years 11 months ago
A Shape-Based Object Class Model for Knowledge Transfer
Object class models trained on hundreds or thousands of images have shown to enable robust detection. Transferring knowledge from such models to new object classes trained from ...
Michael Stark, Michael Goesele, Bernt Schiele
CSFW
2006
IEEE
16 years 21 hour ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
ENTCS
2006
90views more  ENTCS 2006»
15 years 6 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...