Sciweavers

6800 search results - page 719 / 1360
» Testing with Functions as Specifications
Sort
View
SIGPLAN
2008
15 years 7 months ago
Verified enforcement of stateful information release policies
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
Nikhil Swamy, Michael Hicks
IJMTM
2007
80views more  IJMTM 2007»
15 years 7 months ago
Assessing the inherent flexibility of product families for meeting customisation requirements
: This paper presents a systematic approach based on the axiomatic design theory to assess the inherent flexibility of the product family to generate the product variants for custo...
Bin Dan, Mitchell M. Tseng
SOSYM
2008
87views more  SOSYM 2008»
15 years 7 months ago
Model driven design and aspect weaving
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...
Jean-Marc Jézéquel
TC
2008
15 years 7 months ago
On the Computational Security of a Distributed Key Distribution Scheme
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
Vanesa Daza, Javier Herranz, Germán S&aacut...
JCHE
2007
81views more  JCHE 2007»
15 years 7 months ago
Supporting Self-Organized Learning with Personal WebPublishing Technologies and Practices
I N THIS PAPER, we suggest that self-organized learning can be supported through emergent and informal Web technologies and propose that these technologies can be used to encourag...
Priya Sharma, Sebastian Fiedler