Sciweavers

6474 search results - page 405 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
Differential testing: a new approach to change detection
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
Robert B. Evans, Alberto Savoia
NDSS
2000
IEEE
15 years 11 months ago
A First Step Towards the Automatic Generation of Security Protocols
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...
Adrian Perrig, Dawn Xiaodong Song
SIGSOFT
2000
ACM
15 years 11 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
Reimer Behrends, Kurt Stirewalt
HCI
2007
15 years 8 months ago
An MDE-SOA Approach to Support Plastic User Interfaces in Ambient Spaces
User interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environment) while preserving usability. Our approach to this proble...
Joëlle Coutaz, Lionel Balme, X. Alvaro, Ga&eu...
SOCIALCOM
2010
15 years 4 months ago
Assessing the Value of Contributions in Tagging Systems
-- Assessing the value of individual users' contributions in peer-production systems is paramount to the design of mechanisms that support collaboration and improve users'...
Elizeu Santos-Neto, Flavio Figueiredo, Jussara M. ...