4047 search results - page 245 / 810 » Algebraic Model Checking |
182
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
170
click to vote
GMP
2010
IEEE
15 years 8 months ago
2010
IEEE
When interpolating a network of curves to create a C1 surface from spline patches, the network has to satisfy an algebraic condition, called the vertex enclosure constraint. We sho...
171
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- In this paper, we propose a method to analyze the firewall policy or rule-set using Relational Algebra and Raining 2D-Box Model. It can discover all the anomalies in the firewall...
129
click to vote
MSCS
2008
15 years 6 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
155
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...