241 search results - page 16 / 49 » Consumer Behavior Analysis by Graph Mining Technique |
109
click to vote
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
ICMCS
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
With the huge number of information sources available on the Internet, Peer-to-Peer (P2P) systems offer a novel kind of system architecture providing the large-scale community wit...
WWW
2008
ACM
15 years 11 months ago
2008
ACM
Characterizing the relationship that exists between a person's social group and his/her personal behavior has been a long standing goal of social network analysts. In this pa...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...