4250 search results - page 292 / 850 » Understanding the Requirements on Modelling Techniques |
113
click to vote
LISA
2008
15 years 3 months ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
119
click to vote
IPL
2007
15 years 27 days ago
2007
The use of elliptic curve cryptosystems on embedded systems has been becoming widespread for some years. Therefore the resistance of such cryptosystems to side-channel attacks is ...
113
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
109
click to vote
ECIR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
TAMC
2009
Springer
15 years 7 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...