17049 search results - page 380 / 3410 » cans 2007 |
184
Voted
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
163
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...
155
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
180
click to vote
GD
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows that any planar graph with n vertices can be point-set embedded with at most one bend per edge on a universal set of n points in the plane. An implication of this ...
167
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
Independent Subspace Analysis (ISA) is a generalization of ICA. It tries to find a basis in which a given random vector can be decomposed into groups of mutually independent rando...