841 search results - page 73 / 169 » A secure architectural description language for agent system... |
188
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
159
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
181
click to vote
FASE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
165
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
144
click to vote
AAAI
1990
15 years 7 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...