1431 search results - page 125 / 287 » Solving Constraints in Model Transformations |
122
click to vote
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
106
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
124
click to vote
SIAMCOMP
2002
15 years 18 days ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
112
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
101
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...