7554 search results - page 1397 / 1511 » Process Diagnostics: A Method Based on Process Mining |
142
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
134
Voted
SASO
2010
IEEE
15 years 2 months ago
2010
IEEE
Server consolidation through virtualization is becoming an effective way to save power and space in enterprise data centers. However, it also brings additional operational risks f...
174
click to vote
VLSID
2010
IEEE
15 years 2 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
128
click to vote
WIKIS
2010
ACM
15 years 2 months ago
2010
ACM
Wikis have proven to be an invaluable tool for collaboration. The most prominent is, of course, Wikipedia. Its open nature is not suitable for all environments; in corporate, gove...
180
click to vote
ESWS
2009
Springer
15 years 2 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...