3013 search results - page 311 / 603 » Context-Oriented Domain Analysis |
206
click to vote
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
An important initiative in the automotive domain is the development of the ISO 26262 standard for functional safety of road vehicles. The standard introduces numerous techniques f...
161
click to vote
LFCS
1992
Springer
15 years 10 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
211
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides a general and comprehensive approach to implementing misuse detection on expert systems and an in-depth analysis of the effectiveness of the optimization strat...
155
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
A stable, multiple energy domain and multi scale simulation tool for Microsystems is developed. A structured design methodology is adopted for design and optimization of RF MEMS sh...
178
click to vote
ICAI
2004
15 years 8 months ago
2004
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...