19003 search results - page 268 / 3801 » We Need Assurance |
140
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
156
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Intrusion detection is an important part of networkedsystems security protection. Although commercial products exist, finding intrusions has proven to be a difficult task with l...
155
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we discuss what we believe is the grand challenge facing the software quality research community: the ability to accurately define, in the very earliest stages of d...
168
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...
128
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Parts orienting, the process of bringing parts in initially unknown orientations to a goal orientation, is an important aspect of automated assembly. Bowl feeders used in industry...