4485 search results - page 199 / 897 » Equivalences on Observable Processes |
160
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
138
Voted
ICS
2003
Tsinghua U.
15 years 8 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
116
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—Anomaly detection methods typically operate on pre-processed, i.e., sampled and aggregated, traffic traces. Most traffic capturing devices today employ random packet sampling,...
112
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents properties and results of a new framework for sequential decision-making in multiagent settings called interactive partially observable Markov decision process...
102
click to vote
ACL
1998
15 years 4 months ago
1998
We report in this paper the observation of one tokenization per source. That is, the same critical fragment in different sentences from the same source almost always realize one a...