6431 search results - page 761 / 1287 » Model Building by Resolution |
133
click to vote
ESWA
2008
15 years 6 months ago
2008
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
166
click to vote
IJISEC
2008
15 years 6 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
167
click to vote
JC
2008
15 years 6 months ago
2008
Valiant introduced 20 years ago an algebraic complexity theory to study the complexity of polynomial families. The basic computation model used is the arithmetic circuit, which ma...
171
click to vote
JCP
2008
15 years 6 months ago
2008
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...