2342 search results - page 229 / 469 » Design, Implementation and Characterization of a Cooperative... |
161
click to vote
MOBIDE
1999
ACM
15 years 11 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
154
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
172
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
179
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
166
click to vote
CLUSTER
2006
IEEE
16 years 19 days ago
2006
IEEE
The effect of the operating system on application performance is an increasingly important consideration in high performance computing. OS kernel measurement is key to understandi...