1153 search results - page 93 / 231 » The Complexity of Revision, Revised |
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
112
click to vote
ITICSE
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present an approach to the computer understanding of diagrams and show how it can be successfully applied to the automatic marking (grading) of student attempts a...
INDOCRYPT
2005
Springer
15 years 3 months ago
2005
Springer
This paper revisits a public key cryptosystem which is based on finite string-rewriting systems. We consider a new approach for cryptanalysis of such proposals—the so-called com...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
GD
2004
Springer
15 years 3 months ago
2004
Springer
The upward planarity testing problem consists of testing if a digraph admits a drawing Γ such that all edges in Γ are monotonically increasing in the vertical direction and no e...