9210 search results - page 347 / 1842 » Analyzing Real-Time Systems |
107
click to vote
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
145
click to vote
INFSOF
2002
15 years 3 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
129
Voted
CLEF
2009
Springer
15 years 4 months ago
2009
Springer
We propose a method for providing stochastic confidence estimates for rule-based and black-box natural language (NL) processing systems. Our method does not require labeled trainin...
116
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
227
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...