Sciweavers

4118 search results - page 331 / 824
» Mechanisms for usage control
Sort
View
230
Voted
HASE
2005
IEEE
16 years 1 months 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
169
Voted
ICTAC
2004
Springer
16 years 27 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...
186
Voted
MEMBRANE
2004
Springer
16 years 27 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»
16 years 14 days 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,...
IV
2002
IEEE
115views Visualization» more  IV 2002»
16 years 14 days 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