Sciweavers

4231 search results - page 604 / 847
» Using Language More Responsibly
Sort
View
ENTCS
2008
153views more  ENTCS 2008»
15 years 4 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
ENTCS
2006
135views more  ENTCS 2006»
15 years 4 months ago
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
zing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme 1 Microsoft Research, Cambridge, U.K. Mutual dependencies between objects arise frequently in pr...
Don Syme
IR
2008
15 years 4 months ago
Output-sensitive autocompletion search
We consider the following autocompletion search scenario: imagine a user of a search engine typing a query; then with every keystroke display those completions of the last query wo...
Holger Bast, Christian Worm Mortensen, Ingmar Webe...
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 4 months ago
A Virtual Logo Keyboard for People with Motor Disabilities
In our society, people with motor impairments are oftentimes socially excluded from their environment. This is unfortunate because every human being should have the possibility to...
Stéphane Norte, Fernando G. Lobo
ENTCS
2007
126views more  ENTCS 2007»
15 years 4 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...