755 search results - page 91 / 151 » Sequential Diagnosis by Abstraction |
RSFDGRC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Discovering diverse individual accessing behaviors in web environment is required before mining the valuable patterns from behaviors of groups of visitors. In this paper,...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
Abstract— In this paper we enhance the performance of multicycle path analysis in an industrial setting. Industrial designs are, in general, more complicated, but contain more in...
ER
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...
FPL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present an evaluation of accelerating fault simulation by hardware emulation on FPGA. Fault simulation is an important subtask in test pattern generation and it is fre...
LATIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...