Sciweavers

809 search results - page 39 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
ICMCS
2005
IEEE
112views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Hybrid speaker tracking in an automated lecture room
We present a hybrid speaker tracking scheme based on a single pan/tilt/zoom (PTZ) camera in an automated lecture capturing system. Given that the camera’s video resolution is hi...
Cha Zhang, Yong Rui, Li-wei He, Michael N. Wallick
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
15 years 9 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
FASE
2008
Springer
15 years 6 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
ICST
2009
IEEE
15 years 11 months ago
Unit Testing Non-functional Concerns of Component-based Distributed Systems
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
James H. Hill, Hamilton A. Turner, James R. Edmond...
CAISE
2008
Springer
15 years 6 months ago
Semi-Automated Model Synchronisation in SOM
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
Christian Flender, Thomas Hettel, Michael Lawley, ...