5904 search results - page 858 / 1181 » Requirements for a Composition Language |
160
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
rs to become familiar with abstract modeling concepts or difficult language syntax. This is a departure from traditional visual interface development tools, in which developers sel...
181
click to vote
ECWEB
2003
Springer
15 years 12 months ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
176
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
192
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
187
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...