9873 search results - page 249 / 1975 » Emergent Semantics Systems |
192
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
146
click to vote
HCI
2007
15 years 8 months ago
2007
Understanding the dynamics of knowledge diffusion has profound theoretical and practical implications across a wide variety of domains, ranging from scientific disciplines to educa...
135
click to vote
NAACL
2007
15 years 8 months ago
2007
A novel random text generation model is introduced. Unlike in previous random text models, that mainly aim at producing a Zipfian distribution of word frequencies, our model also ...
140
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
129
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...