7103 search results - page 1310 / 1421 » Program Generation and Components |
131
Voted
PPSWR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
110
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
116
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
124
click to vote
CHI
2004
ACM
15 years 7 months ago
2004
ACM
We introduce Topobo, a 3D constructive assembly system embedded with kinetic memory, the ability to record and playback physical motion. Unique among modeling systems is Topoboʼs...
111
click to vote
DOCENG
2004
ACM
15 years 7 months ago
2004
ACM
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...