5550 search results - page 680 / 1110 » Different Approaches to Proof Systems |
192
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
188
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
Implementing crash recovery in an Object-Oriented Database System (OODBMS) raises several challenging issues for performance that are not present in traditional DBMSs. These perfo...
185
click to vote
SDE
1991
15 years 10 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
188
click to vote
DAS
2008
Springer
15 years 9 months ago
2008
Springer
Writer identification consists in determining the writer of a piece of handwriting from a set of writers. In this paper we present a system for writer identification in old handwr...
220
click to vote
ECSA
2008
Springer
15 years 9 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...