Sciweavers

4726 search results - page 405 / 946
» Domain Modeling of Software Process Models
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
A new video similarity measure model based on video time density function and dynamic programming
In this paper, we propose a novel video similarity measure model using video time density function (VTDF) and dynamic programming. First, we employ VTDF to describe the density of...
Junfeng Jiang, Xiao-Ping Zhang, Alexander C. Loui
TR
2008
98views more  TR 2008»
15 years 6 months ago
Application of Vulnerability Discovery Models to Major Operating Systems
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
Omar H. Alhazmi, Yashwant K. Malaiya
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
UM
2005
Springer
16 years 9 days ago
Modeling Students' Metacognitive Errors in Two Intelligent Tutoring Systems
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
Ido Roll, Ryan Shaun Baker, Vincent Aleven, Bruce ...
FSEN
2007
Springer
16 years 1 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang