1099 search results - page 174 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
PPOPP
2006
ACM
15 years 5 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
121
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
186
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...