1
Published 2008
Table of Contents: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...
View full text
Electronic eBook