2282 search results - page 207 / 457 » Active property checking |
158
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
189
click to vote
ICDAR
1995
IEEE
15 years 8 months ago
1995
IEEE
The method herein proposed detects text lines on handwritten pages which may include either lines oriented in several directions, erasures, or annotationsbetween main lines. The m...
161
Voted
SEKE
1995
Springer
15 years 8 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
136
click to vote
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
124
click to vote
DEON
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a...