3799 search results - page 246 / 760 » An Engineering Approach to Formal Methods |
188
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
153
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
199
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--To make sure they can quickly respond to a specific query, the main search engines have several mechanisms. One of them consists in ranking web pages according to their i...
173
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
178
click to vote
DLOG
2000
15 years 7 months ago
2000
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...