4820 search results - page 512 / 964 » Implementing Signatures for C |
193
Voted
SBCCI
2004
ACM
16 years 6 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
277
click to vote
SENSYS
2004
ACM
16 years 6 days ago
2004
ACM
Until practical ad-hoc localization systems are developed, early deployments of wireless sensor networks will manually configure location information in network nodes in order to...
179
Voted
AUSAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
176
Voted
CCS
2004
ACM
16 years 5 days ago
2004
ACM
A network covert channel is a mechanism that can be used to leak information across a network in violation of a security policy and in a manner that can be difficult to detect. In...
163
click to vote
ECCV
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Temporal random variation of luminance in images can manifest in film and video due to a wide variety of sources. Typical in archived films, it also affects scenes rec...