Sciweavers

756 search results - page 14 / 152
» M-Modeler: a framework implementation for modeling m-commerc...
Sort
View
ICIP
2004
IEEE
14 years 9 months ago
A framework for soft hashing and its application to robust image hashing
An increasing interest in the soft hashing problem has been witnessed in recent times. Techniques implementing soft hashing intend to mirror the behaviour of cryptographic hashing...
Elizabeth P. McCarthy, Félix Balado, Guenol...
ASE
2004
117views more  ASE 2004»
13 years 7 months ago
Model Checking for Combined Logics with an Application to Mobile Systems
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
Massimo Franceschet, Angelo Montanari, Maarten de ...
IPPS
2010
IEEE
13 years 5 months ago
BlobSeer: Bringing high throughput under heavy concurrency to Hadoop Map-Reduce applications
Hadoop is a software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. The efficiency of ...
Bogdan Nicolae, Diana Moise, Gabriel Antoniu, Luc ...
VC
2010
217views more  VC 2010»
13 years 6 months ago
Solving the Shallow Water equations using 2D SPH particles for interactive applications
In this paper, we introduce a 2D particle-based approach to achieve realistic water surface behaviors for interactive applications. We formulate 2D particle-based Shallow Water equ...
Hyokwang Lee, Soonhung Han
WOA
2010
13 years 5 months ago
Programming Wireless Body Sensor Network Applications through Agents
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
Giancarlo Fortino, Stefano Galzarano