Sciweavers

759 search results - page 50 / 152
» What Can Be Implemented Anonymously
Sort
View
POPL
1993
ACM
14 years 2 months ago
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
Shinn-Der Lee, Daniel P. Friedman
COORDINATION
2006
Springer
14 years 1 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
ISMIS
2000
Springer
14 years 1 months ago
Extended Query Answering Using Integrity Rules
Abstract. The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata i...
Barry G. T. Lowden, Jerome Robinson
DSVIS
1995
Springer
14 years 1 months ago
Moving between Contexts
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
Alan J. Dix
SIMVIS
2007
13 years 11 months ago
Visual Navigation within Conceptual Spaces
Finding objects like music albums or wines in large databases is an inherently difficult problem, especially if users do not know exactly what they are looking for. We propose th...
Hans Jörg Müller, Antonio Krüger