Sciweavers

392 search results - page 36 / 79
» Secure Software Engineering: A New Paradigm
Sort
View
BPM
2003
Springer
121views Business» more  BPM 2003»
14 years 3 months ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang
ISSTA
1996
ACM
14 years 2 months ago
Predicting Dependability by Testing
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
Richard G. Hamlet
ASE
1998
152views more  ASE 1998»
13 years 9 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
PLDI
2009
ACM
14 years 4 months ago
Laminar: practical fine-grained decentralized information flow control
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
Indrajit Roy, Donald E. Porter, Michael D. Bond, K...
COMPSAC
2009
IEEE
14 years 4 months ago
Towards Validating Security Protocol Deployment in the Wild
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
Luca Compagna, Ulrich Flegel, Volkmar Lotz