5066 search results - page 586 / 1014 » Spectra of structures and relations |
145
click to vote
RE
2005
Springer
16 years 11 days ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
148
click to vote
RE
2005
Springer
16 years 11 days ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
205
click to vote
SEMWEB
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Most existing ontology mapping tools do not provide exact mappings. Rather, there is usually some degree of uncertainty. We describe a framework to improve existing ontol...
192
click to vote
TACAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
186
click to vote
TARK
2005
Springer
16 years 11 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...