2599 search results - page 176 / 520 » An Operational Semantics for Knowledge Bases |
167
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
151
click to vote
FOMI
2008
15 years 7 months ago
2008
There is a trend in some manufacturing industries to move from selling products to providing services. As a result, designers must consider the life-cycle costs. In the aero indust...
162
click to vote
DBSEC
2000
15 years 7 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
213
click to vote
AAAI
2006
15 years 7 months ago
2006
OntoSearch, a full-text search engine that exploits ontological knowledge for document retrieval, is presented in this paper. Different from other ontology based search engines, O...
195
click to vote
USENIX
2007
15 years 8 months ago
2007
Current approaches to power management are based on operating systems with full knowledge of and full control over the underlying hardware; the distributed nature of multi-layered...