2117 search results - page 111 / 424 » A Metadata Model for Capturing Presentations |
EDOC
2007
IEEE
14 years 2 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper presents a general framework for multi-sensor object recognition through a discriminative probabilistic approach modelling spatial and temporal correlations. The alg...
QSIC
2007
IEEE
14 years 2 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
14 years 1 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
KR
1998
Springer
14 years 13 days ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...