Sciweavers

3061 search results - page 395 / 613
» integration 2006
Sort
View
JCS
2010
112views more  JCS 2010»
15 years 4 months ago
Inductive trace properties for computational security
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
JCSS
2010
114views more  JCSS 2010»
15 years 4 months ago
FPT algorithms and kernels for the Directed k-Leaf problem
A subgraph T of a digraph D is an out-branching if T is an oriented spanning tree with only one vertex of in-degree zero (called the root). The vertices of T of out-degree zero ar...
Jean Daligault, Gregory Gutin, Eun Jung Kim, Ander...
JIRS
2010
112views more  JIRS 2010»
15 years 4 months ago
Development and Evaluation of a Chase View for UAV Operations in Cluttered Environments
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
James T. Hing, Keith W. Sevcik, Paul Y. Oh
JIS
2010
125views more  JIS 2010»
15 years 4 months ago
Representing and sharing folksonomies with semantics
Websites that provide content creation and sharing features have become quite popular recently. These sites allow users to categorize and browse content using ‘tags’ or free-t...
Hak Lae Kim, Stefan Decker, John G. Breslin
JOT
2010
144views more  JOT 2010»
15 years 4 months ago
REquirements, Aspects and Software Quality: the REASQ model
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
Isi Castillo, Francisca Losavio, Alfredo Matteo, J...