2468 search results - page 337 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
146
click to vote
ACMACE
2009
ACM
15 years 1 months ago
2009
ACM
In this paper we propose a novel approach for generating expressive caricatures from an input image. The novelty of this work comes from combining an Active Appearance Model facia...
164
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
Cyber attacks against networked computers have become relentless in recent years. The most common attack method is to exploit memory corruption vulnerabilities such as buffer ove...
108
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a novel technique for the modeling, simulation, and analysis of real-time applications on MultiProcessor Systems-on-Chip (MPSoCs). This technique is based on a...
138
click to vote
ICPPW
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present a technique for reducing response delay for web systems, which is based on a proactive cache scheme. It combines predictive pre-fetching and streaming to ...
139
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...