79 search results - page 16 / 16 » Formal Specification and Prototyping of Multi-agent Systems |
118
click to vote
TSE
1998
15 years 22 days ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
127
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
104
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
105
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...