Sciweavers

7596 search results - page 377 / 1520
» Challenges in forensic computing
Sort
View
DUX
2007
15 years 10 months ago
AnyPhone: mobile applications for everyone
The mobile phone is one of the most commonly carried pieces of personal, readily accessible digital technologies. Beyond just voice calls, they function as digital cameras, PDAs, ...
Eric Paulos, August Joki, Parul Vora, Anthony Burk...
HRI
2007
ACM
15 years 10 months ago
Elements of a spoken language programming interface for robots
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
Tim Miller, Andrew Exley, William Schuler
ICDCS
2007
IEEE
15 years 10 months ago
Efficient Execution of Continuous Incoherency Bounded Queries over Multi-Source Streaming Data
On-line decision making often involves query processing over time-varying data which arrives in the form of data streams from distributed locations. In such environments typically...
Manish Bhide, Krithi Ramamritham, Mukund Agrawal
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 10 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
CCGRID
2004
IEEE
15 years 10 months ago
OGSI.NET: OGSI-compliance on the .NET framework
: The Open Grid Service Infrastructure (OGSI) has been designed to facilitate the creation of multiple, interoperable Grid Service hosting environments, but to date only one fully ...
Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, ...