Sciweavers

489 search results - page 18 / 98
» Reasoning about confidentiality at requirements engineering ...
Sort
View
COMPSAC
2007
IEEE
14 years 1 months ago
The Four Major Challenges of Engineering Adaptive Software Architectures
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
Jun Han, Alan W. Colman
AAAI
2006
13 years 9 months ago
Approximate Compilation for Embedded Model-based Reasoning
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
Barry O'Sullivan, Gregory M. Provan
ICRA
2007
IEEE
140views Robotics» more  ICRA 2007»
14 years 1 months ago
Landing Site Selection using Fuzzy Rule-Based Reasoning
— In this paper, multiple on-board sensors are used to assess the terrain safety in real-time during spacecraft descent. A linguistic, fuzzy rule-based reasoning engine is used t...
Navid Serrano, Homayoun Seraji
POPL
2011
ACM
12 years 10 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
FLAIRS
2004
13 years 9 months ago
Satisfying Varying Retrieval Requirements in Case Based Intelligent Directory Assistance
Intelligent directory assistance is the ability to retrieve relevant subscriber records in the presence of mismatches between the query and the subscriber record. The challenges a...
Vivek Balaraman, Sutanu Chakraborti