7434 search results - page 305 / 1487 » Still |
168
click to vote
BPM
2000
Springer
15 years 11 months ago
2000
Springer
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
169
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
A wide spectrum of certificate revocation mechanisms is currently in use. A number of them have been proposed by standardisation bodies, while some others have originated from aca...
180
click to vote
CIKM
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents a system that retrieves descriptive phrases of proper nouns from free text. Sentences holding the specified noun are ranked using a technique based on pattern ...
164
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
In the past independent IT security evaluation according to published criteria has not realized its potential for the assessment of privacy enhancing technologies (PETs). Main rea...
172
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...