685 search results - page 12 / 137 » Implementing Controlled Languages in GF |
194
click to vote
POPL
2008
ACM
16 years 12 hour ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
AIMSA
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
104
click to vote
PUC
1998
14 years 11 months ago
1998
Palmtop PCs with infrared transceivers provide a userfriendly, intelligent, and extensible alternative to the remote controls traditionally used to control home appliances. We des...
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
PLDI
1996
ACM
15 years 3 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...