6149 search results - page 448 / 1230 » Revealing the programming process |
213
click to vote
AOSD
2004
ACM
16 years 11 days ago
2004
ACM
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
165
click to vote
ISSTA
2004
ACM
16 years 10 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
161
click to vote
SEMWEB
2004
Springer
16 years 8 days ago
2004
Springer
A central theme of the semantic web is that programs should be able to easily aggregate data from different sources. Unfortunately, even if two sites provide their data using the ...
190
click to vote
SPAA
2003
ACM
16 years 5 days ago
2003
ACM
The increasing application space of interconnection networks now encompasses several applications, such as packet routing and I/O interconnect, where the throughput of a routing a...
224
click to vote
CCS
2003
ACM
16 years 4 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...