387 search results - page 49 / 78 » Session-Based Distributed Programming in Java |
235
Voted
POPL
2001
ACM
16 years 4 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
129
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
123
Voted
ECOOPW
2003
Springer
15 years 9 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
124
Voted
PDCAT
2009
Springer
15 years 10 months ago
2009
Springer
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
135
Voted
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...