5326 search results - page 343 / 1066 » On what we can ensure |
170
click to vote
APGV
2009
ACM
16 years 1 months ago
2009
ACM
An inadequately designed display viewed in the dark can easily cause dazzling glare and affect our night vision. In this paper we test a display design in which the spectral light...
198
click to vote
ACISP
2007
Springer
16 years 28 days ago
2007
Springer
The identity of “Deep Throat”, a pseudonym of the information source in the Watergate scandal, remained mysterious for more than three decades. In 2005, an ex-FBI official cla...
176
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
167
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
We consider a distributed system that disseminates highvolume event streams to many simultaneous monitoring applications over a low-bandwidth network. For bandwidth efficiency, we...
170
click to vote
ECEASST
2008
15 years 6 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...