Sciweavers

9503 search results - page 301 / 1901
» Authenticated System Calls
Sort
View
RTAS
2005
IEEE
16 years 1 months ago
Practical On-line DVS Scheduling for Fixed-Priority Real-Time Systems
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
Bren Mochocki, Xiaobo Sharon Hu, Gang Quan
CAISE
2005
Springer
16 years 29 days ago
Synchronizing Copies of External Data in Workflow Management Systems
Workflow management systems integrate applications and data resources in business processes. Frequently they have to keep local copies of data in the so called workflow repositor...
Johann Eder, Marek Lehmann
LPNMR
2005
Springer
16 years 28 days ago
SELP - A System for Studying Strong Equivalence Between Logic Programs
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
Yin Chen, Fangzhen Lin, Lei Li
TIDSE
2004
Springer
16 years 23 days ago
Mediapark: Presenting the Media Docks Luebeck with the Digital Storytelling System Jeherazade
Abstract. This article presents the first implementation results of a storytelling system called Jeherazade. The Jeherazade system is based on the idea to enhance the classical the...
Peter Hoffmann, Tim Eggert, Lia Hadley, Michael He...
COOPIS
2003
IEEE
16 years 22 days ago
OntoManager - A System for the Usage-Based Ontology Management
In this paper, we propose an approach for guiding ontology managers through the modification of an ontology with respect to users' needs. It is based on the analysis of end-u...
Ljiljana Stojanovic, Nenad Stojanovic, Jorge Gonza...