Sciweavers

2722 search results - page 399 / 545
» The Model Evolution Calculus
Sort
View
SACMAT
2010
ACM
14 years 3 months ago
Role updating for assignments
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
CODES
1996
IEEE
14 years 2 months ago
Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
Jean Paul Calvez, Dominique Heller, Olivier Pasqui...
RECOMB
1997
Springer
14 years 2 months ago
Sequence alignment with tandem duplication
Algorithm development for comparing and aligning biological sequences has, until recently, been based on the SI model of mutational events which assumes that modi cation of sequen...
Gary Benson
CORR
2008
Springer
100views Education» more  CORR 2008»
13 years 11 months ago
An Agent-Based Simulation of In-Store Customer Experiences
: Agent-based modelling and simulation offers a new and exciting way of understanding the world of work. In this paper we describe the development of an agent-based simulation mode...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...
IANDC
2008
112views more  IANDC 2008»
13 years 10 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...