2034 search results - page 257 / 407 » Declarative Agent Control |
120
click to vote
RSP
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
112
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
145
click to vote
POLICY
2001
Springer
15 years 7 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
158
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
130
click to vote
GCSE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...