1604 search results - page 72 / 321 » A Logical Viewpoint on Architectures |
160
click to vote
POLICY
2005
Springer
15 years 11 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...
170
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
We report on experiments designed to highlight the strengths and weaknesses of an autonomous rule acquisition algorithm for the fuzzy controller of a simulated mobile robot. The a...
156
click to vote
WOA
2000
15 years 7 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
217
click to vote
BIRTHDAY
2012
Springer
14 years 1 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
175
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...