1059 search results - page 155 / 212 » Standard Logics Are Valuation-Nonmonotonic |
DAC
2010
ACM
14 years 1 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
AMAST
2006
Springer
13 years 12 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
KRDB
2003
13 years 11 months ago
2003
This paper introduces schema tuple queries and argues for their suitability in representing knowledge over standard relational databases. Schema tuple queries are queries that ret...
SERP
2003
13 years 11 months ago
2003
The SyncML, the standard synchronization protocol, supports the synchronization of various application services such as an address book, a calendar. Even with this standard protoc...