256 search results - page 17 / 52 » Separation of NP-Completeness Notions |
DLT
2007
14 years 11 months ago
2007
Tiling systems that recognize two-dimensional languages are intrinsically non-deterministic models. We introduce the notion of deterministic tiling system that generalizes determin...
80
Voted
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
FMCO
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
The aim of this paper is to characterize the notion of aspect in the workspace and in the joint space for parallel manipulators. In opposite to the serial manipulators, the parall...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
Delegation is a mechanism that allows a user A to act on another user B's behalf by making B's access rights available to A. It is well recognized as an important mechani...