6054 search results - page 430 / 1211 » Implementation of Andorra-based Languages |
199
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
238
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...
204
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
223
click to vote
DALT
2006
Springer
15 years 11 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
195
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...