42507 search results - page 325 / 8502 » On the analysis of |
213
click to vote
CHARME
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
169
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
191
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
222
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Methods for Web link analysis and authority ranking such as PageRank are based on the assumption that a user endorses a Web page when creating a hyperlink to this page. There is a...
171
click to vote
LREC
2010
15 years 8 months ago
2010
Microblogging today has become a very popular communication tool among Internet users. Millions of users share opinions on different aspects of life everyday. Therefore microblogg...