Sciweavers

5239 search results - page 471 / 1048
» Model-Integrated Embedded Systems
Sort
View
BIOID
2008
101views Biometrics» more  BIOID 2008»
15 years 9 months ago
Template Protection for On-Line Signature-Based Recognition Systems
Abstract. Security and privacy issues are considered as two of the major concerns related to the use of biometric data for authentication purposes. In this paper we propose two dif...
Emanuele Maiorana, Patrizio Campisi, Alessandro Ne...
FORTE
2007
15 years 8 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
ENTCS
2008
83views more  ENTCS 2008»
15 years 7 months ago
Executable Specifications for Real-Time Distributed Systems
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
Arnab Ray, Rance Cleaveland
GIS
2002
ACM
15 years 7 months ago
Data-gathering strategies for social-behavioural research about participatory geographical information system use
Studies about geographical information systems (GIS) use contribute to geographic information science through critical evaluation of the concepts embedded in GIS tools. Social-beha...
Timothy L. Nyerges, Piotr Jankowski, Christina H. ...
IJPP
2010
111views more  IJPP 2010»
15 years 5 months ago
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
Philip K. F. Hölzenspies, Timon D. ter Braak,...