3358 search results - page 464 / 672 » Dynamic Description Logics |
174
click to vote
TCS
2010
15 years 5 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
200
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
171
click to vote
GLVLSI
2005
IEEE
16 years 5 days ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
139
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
266
click to vote
FIDJI
2004
Springer
15 years 12 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...