10038 search results - page 1814 / 2008 » Model Checking for Managers |
122
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
164
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
114
click to vote
SPIRE
2001
Springer
15 years 9 months ago
2001
Springer
Thispaper describes speed-up of string pattern matchingby rearrangingstates inAho-Corasickpattern matching machine, which is a kind of afinite automaton. Werealized speed-up of st...
123
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
128
click to vote
COOPIS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...