1818 search results - page 292 / 364 » Operant conditioning |
115
click to vote
LICS
2010
IEEE
15 years 24 days ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
142
Voted
LICS
2010
IEEE
15 years 24 days ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
125
click to vote
MLQ
2010
15 years 23 days ago
2010
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
108
click to vote
PERCOM
2010
ACM
15 years 23 days ago
2010
ACM
—We discuss the applicability of IEEE 802.15.4 for application in industrial automation. Based on the specific requirements in this field, especially w.r.t. real-time operation...
147
click to vote
SEKE
2010
Springer
15 years 22 days ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...