1671 search results - page 67 / 335 » Language Constructs for Multi-agent Programming |
118
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
130
Voted
ENTCS
2006
15 years 2 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
111
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
148
Voted
JMLR
2012
13 years 5 months ago
2012
We show that the stick-breaking construction of the beta process due to Paisley et al. (2010) can be obtained from the characterization of the beta process as a Poisson process. S...