Sciweavers

5326 search results - page 70 / 1066
» On what we can ensure
Sort
View
NORDSEC
2009
Springer
16 years 22 days ago
Towards Practical Enforcement Theories
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
Nataliia Bielova, Fabio Massacci, Andrea Michelett...
IWSOS
2009
Springer
15 years 10 months ago
Self-organized Data Redundancy Management for Peer-to-Peer Storage Systems
In peer-to-peer storage systems, peers can freely join and leave the system at any time. Ensuring high data availability in such an environment is a challenging task. In this paper...
Yaser Houri, Manfred Jobmann, Thomas Fuhrmann
IWPSE
2010
IEEE
15 years 4 months ago
Replaying past changes in multi-developer projects
What was I working on before the weekend? and What were the members of the my team working on during the last week? are common questions that are frequently asked by a developer. ...
Lile Hattori, Mircea Lungu, Michele Lanza
VLDB
2007
ACM
137views Database» more  VLDB 2007»
16 years 6 months ago
Improving Data Quality: Consistency and Accuracy
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
Gao Cong, Wenfei Fan, Floris Geerts, Xibei Jia, Sh...
SOCO
2005
Springer
15 years 11 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe