1402 search results - page 140 / 281 » A Practical Agent Programming Language |
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
AAAI
2000
13 years 11 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
MMNS
2004
13 years 11 months ago
2004
Integrating multiple functions into one communication user agent can introduce many innovative communication services. For example, with networked appliance control, a user agent c...