809 search results - page 77 / 162 » Formal Semantics for the Java Modeling Language |
148
click to vote
AOSE
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
121
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
138
Voted
JSW
2008
15 years 2 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
127
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
151
Voted
RWEB
2010
Springer
15 years 14 days ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...