7057 search results - page 1171 / 1412 » Tasks, domains, and languages |
151
click to vote
APSEC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
194
click to vote
HASE
2007
IEEE
16 years 29 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
175
click to vote
ICTAI
2007
IEEE
16 years 28 days ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
164
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
177
click to vote
SEUS
2007
IEEE
16 years 27 days ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...