53 search results - page 3 / 11 » Reference reversibility with Reference Domain Theory |
LICS
1997
IEEE
15 years 1 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
97
Voted
IJAC
2011
14 years 26 days ago
2011
We summarize the main known results involving subword reversing, a method of semigroup theory for constructing van Kampen diagrams by referring to a preferred direction. In good ca...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
SEKE
1993
Springer
15 years 1 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
192
click to vote
SIGECOM
2011
ACM
14 years 7 days ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...