Sciweavers

4348 search results - page 130 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
174
Voted
FASE
2008
Springer
15 years 4 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu
137
Voted
WSCG
2004
172views more  WSCG 2004»
15 years 3 months ago
GDESK: Game Discrete Event Simulation Kernel
Simulation has been used traditionally to solve other areas problems. Real time applications like videogames use typically a continuous simulation scheme. That way of operation ha...
Inmaculada García, Ramón Mollá...
TOG
2008
106views more  TOG 2008»
15 years 2 months ago
Real-time control of physically based simulations using gentle forces
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
Jernej Barbic, Jovan Popovic
RE
2010
Springer
14 years 9 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
BIS
2006
144views Business» more  BIS 2006»
15 years 3 months ago
Complexity Metrics for business Process Models
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
Ralf Laue, Volker Gruhn