455 search results - page 33 / 91 » Towards an Extensible Argumentation System |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper describes the application of a RaoBlackwellized Particle Filter to the problem of simultaneous localization and mapping onboard a hovering autonomous underwa...
ICPADS
2007
IEEE
14 years 1 months ago
2007
IEEE
Security is a common problem in completely decentralized peer-to-peer systems. Although several suggestions exist on how to create a secure key-based routing protocol, a practicab...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
CAISE
1997
Springer
13 years 11 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...