Sciweavers

650 search results - page 63 / 130
» Modeling SPARK systems with UML
Sort
View
JUCS
2006
108views more  JUCS 2006»
14 years 11 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
ASWEC
2001
IEEE
15 years 3 months ago
Extending the UML for Designing Jack Agents
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
Michael Papasimeon, Clinton Heinze
SACMAT
2009
ACM
15 years 6 months ago
Ensuring spatio-temporal access control for real-world applications
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anas...
SOSYM
2010
174views more  SOSYM 2010»
14 years 10 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
SASO
2009
IEEE
15 years 6 months ago
MOCAS: A State-Based Component Model for Self-Adaptation
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
Cyril Ballagny, Nabil Hameurlain, Franck Barbier