Sciweavers

17082 search results - page 159 / 3417
» Abstractions for Mobile Computation
Sort
View
TAICPART
2006
IEEE
183views Education» more  TAICPART 2006»
14 years 3 months ago
AutoAbstract: Problem Statement and Hypothetical Solutions
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
Shaukat Ali
CIE
2006
Springer
14 years 28 days ago
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
traction for an Object-Oriented Calculus with Thread Classes Erika
Erika Ábrahám, Andreas Grüner, ...
CMSB
2008
Springer
13 years 11 months ago
Integrated Analysis from Abstract Stochastic Process Algebra Models
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
Jane Hillston, Federica Ciocchetta, Adam Duguid, S...