2722 search results - page 332 / 545 » Automating Language Evolution |
133
click to vote
EDOC
2005
IEEE
15 years 9 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
133
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The ability to deploy Grid infrastructure and services across organizational boundaries (rapidly, reliably, and scalably) is critical for the success of large-scale servi...
105
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
108
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...