Sciweavers

238 search results - page 25 / 48
» Integrating AADL within a Multi-domain Modeling Framework
Sort
View
AAAI
1998
15 years 1 months ago
When Robots Weep: Emotional Memories and Decision-Making
We describe an agent architecture that integrates emotions, drives, and behaviors, and that focuses on modeling some of the aspects of emotions as fundamental components within th...
Juan D. Velásquez
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 5 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
IJSKD
2011
163views more  IJSKD 2011»
14 years 6 months ago
Socio-Technical Systems: A Meta-Design Perspective
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
Gerhard Fischer, Thomas Herrmann
IJCAI
2007
15 years 1 months ago
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping
This paper presents a methodology for integrating features within the occupancy grid (OG) framework. The OG maps provide a dense representation of the environment. In particular t...
Amit Kumar Pandey, K. Madhava Krishna, Mainak Nath
SP
2002
IEEE
103views Security Privacy» more  SP 2002»
14 years 11 months ago
Methods and Limitations of Security Policy Reconciliation
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
Patrick Drew McDaniel, Atul Prakash