Sciweavers

2369 search results - page 203 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
UIST
1996
ACM
15 years 10 months ago
Using the Multi-Layer Model for Building Interactive Graphical Applications
Most interactive graphical applications that use direct manipulation are built with low-level libraries such as Xlib because the graphic and interaction models of higher-level too...
Jean-Daniel Fekete, Michel Beaudouin-Lafon
SIGSOFT
2010
ACM
15 years 4 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Behaviour Model Synthesis from Properties and Scenarios
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
COMPSAC
2007
IEEE
16 years 29 days ago
An Adaptive Security Model for Multi-agent Systems and Application to a Clinical Trials Environment
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...
Liang Xiao 0002, Andrew Peet, Paul H. Lewis, Srina...
AOSE
2007
Springer
15 years 10 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...