7978 search results - page 374 / 1596 » Representation before computation |
173
Voted
GI
2005
Springer
16 years 9 days ago
2005
Springer
: A client was experiencing trust and information quality problems in his structured Internet communication with potential and existing customers. Customer information entered onli...
145
click to vote
ICCSA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Research in authentication mechanisms has led to the design and development of new schemes. The security provided by these procedures must be reviewed and analyzed before...
165
click to vote
PPAM
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...
162
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
142
click to vote
VLBV
2005
Springer
16 years 8 days ago
2005
Springer
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...