2468 search results - page 408 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
129
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
143
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
122
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
138
Voted
TIP
2008
15 years 3 months ago
2008
Videos representing flames, water, smoke, etc. are often defined as dynamic textures: "textures" because they are characterized by redundant repetition of a pattern and &...
131
Voted
VRML
1999
ACM
15 years 7 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...