1059 search results - page 145 / 212 » Standard Logics Are Valuation-Nonmonotonic |
OOPSLA
2001
Springer
14 years 2 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
PAPM
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
SIGMOD
2000
ACM
14 years 2 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
ACSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...