7296 search results - page 406 / 1460 » informs 2010 |
157
click to vote
ENDM
2007
15 years 7 months ago
2007
d Abstract) Esther M. Arkin 1 Applied Mathematics and Statistics Stony Brook University Stony Brook, USA Joseph S. B. Mitchell 2 Applied Mathematics and Statistics Stony Brook Univ...
222
click to vote
ENTCS
2007
15 years 7 months ago
2007
The potentials of modern information technology can only be exploited, if the underlying infrastructure and the applied applications sufficiently take into account all aspects of ...
163
click to vote
ENTCS
2007
15 years 7 months ago
2007
Often debates about pros and cons of various techniques for formalising lambda-calculi rely on subjective arguments, such as de Bruijn indices are hard to read for humans or nomin...
182
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
167
click to vote
ENTCS
2007
15 years 7 months ago
2007
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...