Sciweavers

5863 search results - page 303 / 1173
» An evaluation of the TRIPS computer system
Sort
View
CISIS
2009
IEEE
16 years 1 months ago
A Lightweight Implementation of Trusted Domain Enforcement for Secure Embedded Web Server
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
Ruo Ando
SOFSEM
2009
Springer
16 years 3 months ago
From Outermost Termination to Innermost Termination
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
René Thiemann
SEMWEB
2007
Springer
16 years 27 days ago
YARS2: A Federated Repository for Querying Graph Structured Data from the Web
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
Andreas Harth, Jürgen Umbrich, Aidan Hogan, S...
ICDCSW
2002
IEEE
15 years 11 months ago
Autonomous and Asynchronous Operation of Networked Appliances with Mobile Agent
This paper describes the Smart Operation of Networked Appliances (SONA) system which realizes the autonomous and asynchronous operation of networked appliances by using mobile age...
Soko Aoki, Jin Nakazawa, Hideyuki Tokuda
USS
2004
15 years 8 months ago
Design of the EROS Trusted Window System
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
Jonathan S. Shapiro, John Vanderburgh, Eric Northu...