3028 search results - page 530 / 606 » Integrating Temporal Logics |
179
click to vote
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
136
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
134
click to vote
ETFA
2006
IEEE
15 years 11 months ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
154
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents the hardware architecture of DynaCORE, a dynamically reconfigurable system-on-chip for network applications. DynaCORE is an application specific coprocessor ...
137
click to vote
CF
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...