3239 search results - page 596 / 648 » A Logical Process Calculus |
140
click to vote
ICSOC
2009
Springer
15 years 25 days ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
131
click to vote
ELECTRONICMARKETS
2010
15 years 15 days ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
104
click to vote
TVCG
2011
14 years 10 months ago
2011
—Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place t...
123
click to vote
FGR
2011
IEEE
14 years 6 months ago
2011
IEEE
— Many modern computer vision algorithms are built atop of a set of low-level feature operators (such as SIFT [1], [2]; HOG [3], [4]; or LBP [5], [6]) that transform raw pixel va...
159
click to vote
CIDR
2011
14 years 6 months ago
2011
We propose a new type of database system coined OctopusDB. Our approach suggests a unified, one size fits all data processing architecture for OLTP, OLAP, streaming systems, and...