Sciweavers

14704 search results - page 2636 / 2941
» computing 2007
Sort
View
PPDP
2007
Springer
16 years 24 days ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
PSIVT
2007
Springer
170views Multimedia» more  PSIVT 2007»
16 years 23 days ago
Markov Random Fields and Spatial Information to Improve Automatic Image Annotation
Content-based image retrieval (CBIR) is currently limited because of the lack of representational power of the low-level image features, which fail to properly represent the actual...
Carlos Hernández-Gracidas, Luis Enrique Suc...
PVM
2007
Springer
16 years 23 days ago
Revealing the Performance of MPI RMA Implementations
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
William D. Gropp, Rajeev Thakur
PVM
2007
Springer
16 years 23 days ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
RAID
2007
Springer
16 years 23 days ago
Emulation-Based Detection of Non-self-contained Polymorphic Shellcode
Network-level emulation has recently been proposed as a method for the accurate detection of previously unknown polymorphic code injection attacks. In this paper, we extend network...
Michalis Polychronakis, Kostas G. Anagnostakis, Ev...
« Prev « First page 2636 / 2941 Last » Next »