Sciweavers

5326 search results - page 343 / 1066
» On what we can ensure
Sort
View
APGV
2009
ACM
129views Visualization» more  APGV 2009»
16 years 1 months ago
Display considerations for night and low-illumination viewing
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...
Rafal Mantiuk, Allan G. Rempel, Wolfgang Heidrich
ACISP
2007
Springer
16 years 28 days ago
Identity-Committable Signatures and Their Extension to Group-Oriented Ring Signatures
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...
Cheng-Kang Chu, Wen-Guey Tzeng
ICLP
2004
Springer
16 years 3 days ago
Termination of Logic Programs Using Various Dynamic Selection Rules
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...
Jan-Georg Smaus
DEBS
2008
ACM
15 years 8 months ago
Event dissemination via group-aware stream filtering
We consider a distributed system that disseminates highvolume event streams to many simultaneous monitoring applications over a low-bandwidth network. For bandwidth efficiency, we...
Ming Li, David Kotz
ECEASST
2008
69views more  ECEASST 2008»
15 years 6 months ago
Verifying Model Transformations by Structural Correspondence
: 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. ...
Anantha Narayanan, Gabor Karsai