Sciweavers

1658 search results - page 146 / 332
» Implementing Bit-addressing with Specialization
Sort
View
ELPUB
2007
ACM
13 years 10 months ago
Automatic Content Syndication in Information Science: A Brazilian Experience in the Creation of RSS Feeds to e-journals
This paper reports the partial results of an exploratory study which intends to develop a methodology for a Web feed-based aggregation content service to electronic journals in In...
Lopes de Almeida
ECAI
2008
Springer
13 years 10 months ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...
APVIS
2008
13 years 10 months ago
Efficient Rendering of Extrudable Curvilinear Volumes
We present a technique for memory-efficient and time-efficient volume rendering of curvilinear adaptive mesh refinement data defined within extrudable computational spaces. One of...
Steven Martin, Han-Wei Shen, Ravi Samtaney
DIMVA
2010
13 years 10 months ago
Conqueror: Tamper-Proof Code Execution on Legacy Systems
We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...
Lorenzo Martignoni, Roberto Paleari, Danilo Brusch...
RECOSOC
2007
160views Hardware» more  RECOSOC 2007»
13 years 10 months ago
Stack processor architecture and development methods suitable for dependable applications
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...
Mehdi Jallouli, Camille Diou, Fabrice Monteiro