1
Published 2014
Table of Contents: ... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...
View full text
Electronic eBook