4143 search results - page 558 / 829 » A theory of distributed aspects |
206
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
189
click to vote
AOSD
2010
ACM
16 years 1 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
161
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
192
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Human computation is a technique that makes use of human abilities for computation to solve problems. The human computation problems are the problems those computers are not goo...
243
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
—The number of active nodes in a WSN deployment governs both the longevity of the network and the accuracy of applications using the network’s data. As node hibernation techniq...