Sciweavers

526 search results - page 47 / 106
» A Proposal of Hybrid Knowledge Engineering and Refinement Ap...
Sort
View
ECSA
2010
Springer
14 years 10 months ago
Formal approach to security metrics.: what does "more secure" mean for you?
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
Leanid Krautsevich, Fabio Martinelli, Artsiom Yaut...
ICSE
2003
IEEE-ACM
15 years 9 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
Jennifer Z. Guan, Luqi
ESWS
2011
Springer
14 years 1 months ago
Zero-Knowledge Query Planning for an Iterator Implementation of Link Traversal Based Query Execution
Abstract. Link traversal based query execution is a new query execution paradigm for the Web of Data. This approach allows the execution engine to discover potentially relevant dat...
Olaf Hartig
OOPSLA
2009
Springer
15 years 2 months ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White
AVSS
2009
IEEE
15 years 4 months ago
Trajectory Association and Fusion across Partially Overlapping Cameras
We present a novel unsupervised inter-camera trajectory correspondence algorithm that does not require prior knowledge of the camera placement. The approach consists of three step...
Nadeem Anjum, Andrea Cavallaro