Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
programs security » program security, problems security, programs equity
integral methods » integration methods, general methods
https » http
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
programs security » program security, problems security, programs equity
integral methods » integration methods, general methods
https » http
1
Julkaistu 2007
Sisällysluettelo:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2014
Sisällysluettelo:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“...Digital Image and Signal Processing -- Fourier Descritpor-Based Deformable Models for Segmentation...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2006
Sisällysluettelo:
“... Design -- Security Planning and Refactoring in Extreme Programming -- Experience Papers -- Divide After...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2005
Sisällysluettelo:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2005
Sisällysluettelo:
“... -- Integrated Payment System for Public Key Infrastructure Services -- Some methods of the analysis and risk...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2008
Sisällysluettelo:
“... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2007
Sisällysluettelo:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2006
Sisällysluettelo:
“... -- Development of an Integrated, Risk-Based Platform for Information and E-Services Security -- Using Agent-Based...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2007
Sisällysluettelo:
“...-Commerce Security Guarantees -- Poster Session 2 -- Safety Process Improvement with POSE and Alloy...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2005
Sisällysluettelo:
“... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2008
Sisällysluettelo:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2006
Sisällysluettelo:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2005
Sisällysluettelo:
“... Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2010
Sisällysluettelo:
“... of Systems Challenges -- Murphy Was an Optimist -- Process Control Security: Go Dutch! (United, Shared, Lean...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2013
Sisällysluettelo:
“...Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2010
Sisällysluettelo:
“... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2006
Sisällysluettelo:
“... Multivariate PKC on Low-Resource Embedded Systems -- Integrity -- Higher Dependability and Security for Mobile...”Hae kokoteksti
Elektroninen
E-kirja