6293 search results - page 243 / 1259 » Information Flow Testing |
115
click to vote
EUNIS
2001
15 years 5 months ago
2001
: The goal of this paper is to describe how the development, implementation, and deployment of Information System of University of Latvia changed the life of the University and fac...
189
click to vote
JMIV
2006
15 years 4 months ago
2006
In this paper, we propose to focus on the segmentation of vectorial features (e.g. vector fields or color intensity) using region-based active contours. We search for a domain that...
136
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
121
click to vote
CRIWG
2003
15 years 5 months ago
2003
Unexpected exceptions in WfMS are situations not predicted during the design phase. Human involvement in handling this type of exceptions has been recognized to be a crucial factor...
136
click to vote
DBSEC
2006
15 years 5 months ago
2006
Access control is a crucial concern to build secure IT systems and, more specifically, to protect the confidentiality of information. However, access control is necessary, but not ...