1503 search results - page 298 / 301 » Detecting Anomalies in Graphs |
93
Voted
ENTCS
2008
15 years 25 days ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
121
Voted
BMCBI
2006
15 years 25 days ago
2006
Background: In recent times, there has been an exponential rise in the number of protein structures in databases e.g. PDB. So, design of fast algorithms capable of querying such d...
122
click to vote
CN
2007
15 years 23 days ago
2007
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
105
click to vote
IJFCS
2006
15 years 23 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
98
Voted
ISI
2006
Springer
15 years 22 days ago
2006
Springer
Since the September 11th terror attack at New York in 2001, the frequency of terror attacks around the world has been increasing and it draws more attention of the public. On Janua...