9626 search results - page 1370 / 1926 » Invariant Based Programming |
214
click to vote
NCA
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper introduces the concept of location-based publish/subscribe (LPS), which allows mobile ad hoc applications to anonymously communicate with each other, depending on their...
161
click to vote
HASKELL
2005
ACM
16 years 20 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
164
click to vote
PPOPP
2005
ACM
16 years 20 days ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...
192
click to vote
SAC
2005
ACM
16 years 20 days ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
166
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...