6201 search results - page 96 / 1241 » Implementation of Axiomatic Language |
143
click to vote
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
119
click to vote
FMOODS
2007
15 years 5 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
156
click to vote
FUIN
2010
15 years 2 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
156
click to vote
SI3D
1995
ACM
15 years 7 months ago
1995
ACM
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...