Sciweavers

5252 search results - page 279 / 1051
» Requirements engineering: a roadmap
Sort
View
AVI
1996
15 years 8 months ago
Closing the loop: modelling action, perception and information
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
Alan J. Dix
DBSEC
2010
123views Database» more  DBSEC 2010»
15 years 6 months ago
Evaluating the Risk of Adopting RBAC Roles
We propose a framework to evaluate the risk incurred when managing users and permissions through RBAC. The risk analysis framework does not require roles to be defined, thus making...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...
ENTCS
2006
115views more  ENTCS 2006»
15 years 6 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...
IJVR
2008
125views more  IJVR 2008»
15 years 6 months ago
The Virtual Instructor Intervention: A Case in LEGO Robotics
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
Pauline H. Mosley, Jayfus T. Doswell
168
Voted
ECEASST
2007
78views more  ECEASST 2007»
15 years 6 months ago
Lightweight Visualisations of COBOL Code for Supporting Migration to SOA
In this age of complex business landscapes, many enterprises turn to SOA for aligning their IT portfolio with their business. Because of the enormous business risk involved with r...
Joris Van Geet, Serge Demeyer