Sciweavers

4150 search results - page 555 / 830
» A Practical Approach to Model Extension
Sort
View
IEEESCC
2010
IEEE
15 years 2 months ago
BPEL Remote Objects: Integrating BPEL Processes into Object-Oriented Applications
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
Marvin Ferber, Thomas Rauber, Sascha Hunold
SECON
2010
IEEE
15 years 2 months ago
Trajectory-Aware Communication Solution for Underwater Gliders Using WHOI Micro-Modems
The predictable trajectory of underwater gliders can be used in geographic routing protocols. Factors such as drifting and localization errors cause uncertainty when estimating a g...
Baozhi Chen, Patrick C. Hickey, Dario Pompili
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 2 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
SODA
2008
ACM
110views Algorithms» more  SODA 2008»
15 years 6 months ago
Why simple hash functions work: exploiting the entropy in a data stream
Hashing is fundamental to many algorithms and data structures widely used in practice. For theoretical analysis of hashing, there have been two main approaches. First, one can ass...
Michael Mitzenmacher, Salil P. Vadhan
PAMI
2007
161views more  PAMI 2007»
15 years 4 months ago
Silhouette Coherence for Camera Calibration under Circular Motion
We present a new approach to camera calibration as a part of a complete and practical system to recover digital copies of sculpture from uncalibrated image sequences taken under t...
Carlos Hernández, Francis Schmitt, Roberto ...