1
Publicat 2008
Taula de continguts: ... -- Extracting Evidence Using Google Desktop Search -- Evaluation of Registry Data Removal by Shredder Programs...
Obtenir text complet
Electrònic eBook
2
Publicat 2010
Taula de continguts: ... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
Obtenir text complet
Electrònic eBook
5
Publicat 2008
Taula de continguts: ... Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
Obtenir text complet
Electrònic eBook
8
Publicat 2013
Taula de continguts: ...Open Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Specifications...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... and Their Solutions Within the Federal Target Program «Nuclear and Radiation Safety Assurance for 2008...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ...” Postgraduate program -- Remote Virtual Information Assurance Network -- Certifying the Computer Security...
Obtenir text complet
Electrònic eBook