3093 search results - page 219 / 619 » The Multi-perspective Process Explorer |
120
click to vote
SIGOPS
2010
15 years 2 months ago
2010
Cloud computing carries the promise of providing powerful ls and abstractions that could transform the way IT services are delivered today. In order to establish the readiness of ...
151
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
132
click to vote
ACL
2010
15 years 2 months ago
2010
We present a novel system that helps nonexperts find sets of similar words. The user begins by specifying one or more seed words. The system then iteratively suggests a series of ...
144
click to vote
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
Large amounts of information are posted daily on the Web, such as articles published online by traditional news agencies or blog posts referring to and commenting on various events...
178
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We explore the idea of applying machine learning techniques to automatically infer risk-adaptive policies to reconfigure a network security architecture when the context ...