1671 search results - page 307 / 335 » Language Constructs for Multi-agent Programming |
CPAIOR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
ENTCS
2008
14 years 11 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
112
Voted
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
SP
2007
IEEE
15 years 6 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
101
click to vote
UIST
2006
ACM
15 years 5 months ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...