7139 search results - page 840 / 1428 » Language Engineering in Practice |
173
click to vote
DLOG
2008
15 years 9 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
175
click to vote
WSC
2008
15 years 9 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
196
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
206
Voted
ASWC
2008
Springer
15 years 9 months ago
2008
Springer
Ten years have passed since the concept of the semantic web was proposed by Tim Berners-Lee. For these years, basic technologies for them such as RDF(S) and OWL were published. As ...
217
Voted
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Process management systems are used in many domains to monitor and control processes. Development processes require specific support, which is not provided by conventional workflow...