Sciweavers

2509 search results - page 163 / 502
» Transactional stream processing
Sort
View
131
Voted
IEEESCC
2006
IEEE
15 years 8 months ago
Secure and Provable Service Support for Human-Intensive Real-Estate Processes
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
Emerson Ribeiro de Mello, Savas Parastatidis, Phil...
121
Voted
HICSS
2002
IEEE
159views Biometrics» more  HICSS 2002»
15 years 7 months ago
Coordination of Inter-organisational Healthcare Processes via Specialisation of Internet-Based Object Life Cycles
We describe an approach to healthcare coordination using object life cycles (OLCs) [1]. By consulting the OLC of a given patient object instance, the legal methods to apply to tha...
Sistine Barretto, James R. Warren, Markus Stumptne...
134
Voted
C3S2E
2009
ACM
15 years 6 months ago
The promise of solid state disks: increasing efficiency and reducing cost of DBMS processing
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
Karsten Schmidt 0002, Yi Ou, Theo Härder
JTAER
2008
100views more  JTAER 2008»
15 years 2 months ago
Securing Uniqueness of Rights e-Documents: A Deontic Process Perspective
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
Ronald M. Lee, Vu Nguyen, Anastasia Pagnoni
112
Voted
CLIMA
2004
15 years 4 months ago
The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules
Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environm...
Christopher Child, Kostas Stathis