Sciweavers

649 search results - page 32 / 130
» Formalizing Rework in Software Processes
Sort
View
TLCA
2005
Springer
14 years 1 months ago
Privacy in Data Mining Using Formal Methods
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
Stan Matwin, Amy P. Felty, István T. Hern&a...
SOCRATES
2008
117views Education» more  SOCRATES 2008»
13 years 9 months ago
E-learning by Doing with Computational Logic
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
Federico Chesani, Anna Ciampolini, Paola Mello
FSEN
2007
Springer
13 years 11 months ago
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
We formally specify the recent DRM scheme of Nair et al. in the
Muhammad Torabi Dashti, Srijith Krishnan Nair, Hug...
FASE
2008
Springer
13 years 9 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
SEKE
2004
Springer
14 years 29 days ago
Integrating Security Administration into Software Architectures Design
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
Huiqun Yu, Xudong He, Yi Deng, Lian Mo