2803 search results - page 529 / 561 » A Type System for Prototyping Languages |
114
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
142
Voted
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
130
Voted
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...
138
Voted
ICVS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. At the first ICVS, we presented SA-C (“sassy”), a singleassignment variant of the C programming language designed to exploit both coarse-grain and fine-grain parallel...
117
Voted
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...