Sciweavers

1953 search results - page 166 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
CAISE
2009
Springer
15 years 4 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
91
Voted
JCSS
2008
159views more  JCSS 2008»
14 years 10 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
COMPSAC
2007
IEEE
15 years 4 months ago
An Automatic Connector Generation Method for Dynamic Architecture
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
Yiming Yang, Xin Peng, Wenyun Zhao
CIG
2005
IEEE
15 years 3 months ago
Utile Coordination: Learning Interdependencies Among Cooperative Agents
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
Jelle R. Kok, Pieter Jan't Hoen, Bram Bakker, Niko...
69
Voted
CORR
2008
Springer
88views Education» more  CORR 2008»
14 years 10 months ago
Framework for Dynamic Evaluation of Muscle Fatigue in Manual Handling Work
- Muscle fatigue is defined as the point at which the muscle is no longer able to sustain the required force or work output level. The overexertion of muscle force and muscle fatig...
Liang Ma, Fouad Bennis, Damien Chablat, Wei Zhang