1809 search results - page 187 / 362 » A Formal Specification of dMARS |
142
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
146
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
161
click to vote
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
137
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
154
Voted
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...