1671 search results - page 261 / 335 » Language Constructs for Multi-agent Programming |
SIGDOC
2003
ACM
15 years 5 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
ICDCSW
2002
IEEE
15 years 4 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
VRML
2000
ACM
15 years 4 months ago
2000
ACM
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
103
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...