3564 search results - page 300 / 713 » Evaluating a Formal Modelling Language |
148
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
152
click to vote
SAS
1991
Springer
15 years 8 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
117
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
116
click to vote
EXPERT
2008
15 years 5 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
158
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...