1419 search results - page 164 / 284 » Notes on Formalizing Context |
107
click to vote
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
117
Voted
ICFCA
2007
Springer
15 years 4 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...
100
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
128
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
118
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...