1814 search results - page 318 / 363 » Extended First-Order Logic |
CONEXT
2007
ACM
15 years 1 months ago
2007
ACM
The distributed nature of the Internet makes it difficult for a single service provider to troubleshoot the disruptions experienced by its customers. We propose NetDiagnoser, a tr...
DEXAW
2007
IEEE
15 years 1 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
FDL
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
GI
2007
Springer
15 years 1 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...