1375 search results - page 110 / 275 » SDL-2000: A Language with a Formal Semantics |
IEEEIAS
2008
IEEE
15 years 4 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
ERCIMDL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
AAMAS
2008
Springer
14 years 10 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...