1
Udgivet 2006
Indholdsfortegnelse: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...
Få fuldtekst
Electronisk eBog
5
Udgivet 2007
Indholdsfortegnelse: ... and JavaServer Faces -- On Refining XML Artifacts -- Mixup: A Development and Runtime Environment for Integration...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Få fuldtekst
Electronisk eBog