2702 search results - page 291 / 541 » Practically Applicable Formal Methods |
137
Voted
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
1 There are increasing deployments of networked embedded systems and rising threats of malware intrusions on such systems. To mitigate this threat, it is desirable to enable common...
226
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Finding latent patterns in high dimensional data is an important research problem with numerous applications. Existing approaches can be summarized into 3 categories: feature selec...
128
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
138
Voted
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
135
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...