Sciweavers

5838 search results - page 286 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
ACHI
2009
IEEE
15 years 11 months ago
gReader: A Universally Designed, Device-Independent Email Client
– This paper describes the design, development and user study of a text-to-speech system for reviewing email messages. The system retrieves messages, converts them to audio files...
Lindsay D. Grace
171
Voted
ASP
2003
Springer
15 years 9 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke
COMPSAC
2008
IEEE
15 years 11 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
ACSD
2009
IEEE
92views Hardware» more  ACSD 2009»
15 years 11 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
Jens Brandt, Mike Gemunde, Klaus Schneider
IPPS
2000
IEEE
15 years 8 months ago
The Parallelization of a Knowledge Discovery System with Hypergraph Representation
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDEDpronounced indee...
Jennifer Seitzer, James P. Buckley, Yi Pan, Lee A....