33 search results - page 4 / 7 » Light Dialectica revisited |
ICSE
1999
IEEE-ACM
13 years 11 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
DOCENG
2010
ACM
13 years 7 months ago
2010
ACM
Outline font technology has long been established as the standard way to represent typefaces, allowing characters to be represented independently of print size and resolution. Alt...
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
TAMC
2010
Springer
14 years 2 days ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
COORDINATION
2008
Springer
13 years 8 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...