Sciweavers

1134 search results - page 70 / 227
» Distributed Proving in Access-Control Systems
Sort
View
CODES
2002
IEEE
15 years 8 months ago
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
Traian Pop, Petru Eles, Zebo Peng
138
Voted
SEMWEB
2009
Springer
15 years 9 months ago
Conjunctive Query Answering in Distributed Ontology Systems for Ontologies with Large OWL ABoxes
We present a query processing procedure for conjunctive queries in distributed ontology systems where a large ontology is divided into ontology fragments that are later distributed...
Xueying Chen, Michel Dumontier
RSFDGRC
2005
Springer
151views Data Mining» more  RSFDGRC 2005»
15 years 8 months ago
DIXER - Distributed Executor for Rough Set Exploration System
We present the Distributed Executor for RSES (DIXER) which is a supplementary software for the Rough Set Exploration System (RSES). It takes an advantage of grid computing paradigm...
Jan G. Bazan, Rafal Latkowski, Marcin S. Szczuka
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
15 years 8 months ago
Global Exponential Stabilizability for Distributed Manipulation Systems
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
Todd D. Murphey, Joel W. Burdick
SIGOPS
2011
210views Hardware» more  SIGOPS 2011»
14 years 10 months ago
Small trusted primitives for dependable systems
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
Petros Maniatis, Byung-Gon Chun