Sciweavers

952 search results - page 122 / 191
» TreeFam: 2008 Update
Sort
View
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 6 months ago
On the Formal Generation of Process Redesigns
Business Process Redesign (BPR) is a process oriented methodology to improve organizations. Although literature on BPR is available in abundance, little concrete support on how to ...
Mariska Netjes, Hajo A. Reijers, Wil M. P. van der...
152
Voted
CCS
2008
ACM
15 years 6 months ago
Identity-based encryption with efficient revocation
Identity-based encryption (IBE) is an exciting alternative to public-key encryption, as IBE eliminates the need for a Public Key Infrastructure (PKI). Any setting, PKI- or identit...
Alexandra Boldyreva, Vipul Goyal, Virendra Kumar
CDC
2008
IEEE
15 years 6 months ago
Distributed estimation and control for stochastically interacting robots
Abstract-- We introduce a distributed estimation algorithm for use by a collection of stochastically interacting agents. Each agent has both a discrete value and an estimate of the...
Fayette W. Shaw, Eric Klavins
CTRSA
2008
Springer
109views Cryptology» more  CTRSA 2008»
15 years 5 months ago
Super-Efficient Verification of Dynamic Outsourced Databases
We develop new algorithmic and cryptographic techniques for authenticating the results of queries over databases that are outsourced to an untrusted responder. We depart from previ...
Michael T. Goodrich, Roberto Tamassia, Nikos Trian...
CVPR
2008
IEEE
15 years 5 months ago
Adaptive region intensity based rigid ultrasound and CT image registration
Rigid registration of intraoperative ultrasound (US) and CT is an important technique to provide real-time guidance for preoperative images and models. Due to the speckle noise an...
Zhijun Zhang