9595 search results - page 121 / 1919 » Functional programming in C |
POS
1992
Springer
15 years 9 months ago
1992
Springer
133
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speciï¬...
126
click to vote
ASM
2000
ASM
15 years 9 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...