Sciweavers

4418 search results - page 665 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
APSCC
2009
IEEE
16 years 1 months ago
Context-aware adaptive service mashups
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...
Christoph Dorn, Daniel Schall, Schahram Dustdar
ICASSP
2007
IEEE
16 years 27 days ago
Speeded Up Gradient Vector Flow B-Spline Active Contours for Robust and Real-Time Tracking
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
Joanna I. Olszewska, Christophe De Vleeschouwer, B...
NDSS
2007
IEEE
16 years 25 days ago
Cryptographic Methods for Storing Ballots on a Voting Machine
A direct recording electronic (DRE) voting machine must satisfy several requirements to ensure voter privacy and the integrity of the election. A recent proposal for a vote storag...
John Bethencourt, Dan Boneh, Brent Waters
CIG
2006
IEEE
16 years 18 days ago
A Behavior-Based Architecture for Realistic Autonomous Ship Control
— Game environments provide a good domain for serious simulations such as those used in training Navy conning officers. Currently, a typical training scenario requires multiple ...
Adam Olenderski, Monica N. Nicolescu, Sushil J. Lo...
IPPS
2006
IEEE
16 years 17 days ago
Coordinate transformation - a solution for the privacy problem of location based services?
Protecting location information of mobile users in Location Based Services (LBS) is a very important but quite difficult and still largely unsolved problem. Location information h...
Andreas Gutscher