2599 search results - page 340 / 520 » An Operational Semantics for Knowledge Bases |
164
click to vote
IJSEKE
2011
14 years 10 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
170
click to vote
ECSA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
164
click to vote
MC
2001
15 years 7 months ago
2001
The growing popularity of computers in all areas of daily life leads to the situation that an increasing number of people with diverse know-how of computers and software use these...
177
click to vote
ICLP
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
161
click to vote
AIMS
2007
Springer
16 years 21 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...