Sciweavers

4118 search results - page 331 / 824
» Mechanisms for usage control
Sort
View
HASE
2005
IEEE
16 years 11 days ago
Design and Analysis of Fault Tolerant Architectures by Model Weaving
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
Péter Domokos, István Majzik
ICTAC
2004
Springer
16 years 3 days ago
Switched Probabilistic I/O Automata
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits...
162
Voted
MEMBRANE
2004
Springer
16 years 3 days ago
Inhibiting/De-inhibiting Rules in P Systems
We introduce in the P systems area a mechanism, inspired from neural-cell behavior, which controls computations by inhibiting and de-inhibiting evolution rules. We investigate the ...
Matteo Cavaliere, Mihai Ionescu, Tseren-Onolt Ishd...
ICRA
2002
IEEE
117views Robotics» more  ICRA 2002»
15 years 11 months ago
Dynamic Role Assignment for Cooperative Robots
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...
Luiz Chaimowicz, Mario Fernando Montenegro Campos,...
185
Voted
IV
2002
IEEE
115views Visualization» more  IV 2002»
15 years 11 months ago
An Integrated System for Database Visualization
This paper present details of an integrated database visualization system. The system supports the visualization process from an end-to-end perspective. Included in the system is ...
Dennis P. Groth, Edward L. Robertson