3824 search results - page 353 / 765 » Geometry Constructions Language |
252
click to vote
ACMMSP
2006
ACM
15 years 11 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
137
click to vote
AMS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
114
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
149
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
196
click to vote
WAC
2004
Springer
15 years 10 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...