Sciweavers

6293 search results - page 106 / 1259
» Information Flow Testing
Sort
View
145
Voted
JWSR
2008
162views more  JWSR 2008»
15 years 29 days ago
Business Process Control-Flow Complexity: Metric, Evaluation, and Validation
Organizations are increasingly faced with the challenge of managing business processes, workflows, and recently, Web processes. One important aspect of business processes that has...
Jorge Cardoso
WSC
2000
15 years 3 months ago
Anticipatory Planning Support System
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
John R. Surdu, John M. D. Hill, Udo W. Pooch
TISSEC
2010
142views more  TISSEC 2010»
14 years 9 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...
ITC
1999
IEEE
118views Hardware» more  ITC 1999»
15 years 6 months ago
Logic BIST for large industrial designs: real issues and case studies
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...
Graham Hetherington, Tony Fryars, Nagesh Tamarapal...
IBPRIA
2003
Springer
15 years 7 months ago
Probabilistic Observation Models for Tracking Based on Optical Flow
In this paper, we present two new observation models based on optical flow information to track objects using particle filter algorithms. Although optical flow information enabl...
Manuel J. Lucena, José M. Fuertes, Nicolas ...