Sciweavers

752 search results - page 88 / 151
» Finite-State Modeling, Analysis and Testing of System Vulner...
Sort
View
131
Voted
FLAIRS
2006
15 years 5 months ago
The ASSISTment Builder: Towards an Analysis of Cost Effectiveness of ITS Creation
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
Neil T. Heffernan, Terrence E. Turner, Abraao L. N...
IPCCC
2006
IEEE
15 years 9 months ago
Connectionless port scan detection on the backbone
Considerable research has been done on detecting and blocking portscan activities that are typically conducted by infected hosts to discover other vulnerable hosts. However, the f...
Avinash Sridharan, Tao Ye, Supratik Bhattacharyya
140
Voted
CAI
2010
Springer
15 years 1 months ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
KES
2009
Springer
15 years 10 months ago
Urban Vehicle Tracking Using a Combined 3D Model Detector and Classifier
This paper presents a tracking system for vehicles in urban traffic scenes. The task of automatic video analysis for existing CCTV infrastructure is of increasing interest due to b...
Norbert Buch, Fei Yin, James Orwell, Dimitrios Mak...
128
Voted
ECRTS
2010
IEEE
15 years 3 months ago
On Schedulability Analysis of Non-cyclic Generalized Multiframe Tasks
— The generalized multiframe (GMF) task has been proposed to model a task whose execution times, deadlines and minimum separation times are changed according to a specified patte...
Noel Tchidjo Moyo, Eric Nicollet, Frederic Lafaye,...