801 search results - page 35 / 161 » The Core Language of Aldwych |
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
104
Voted
ICFP
2012
ACM
13 years 2 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
DBPL
1993
Springer
15 years 1 months ago
1993
Springer
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
108
click to vote
CADE
2010
Springer
14 years 10 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
JVA
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we will introduce to describe learning resources by using ontology model based on metadata of learning standard as Sharable Content Object Reference Model (SCORM) a...