2479 search results - page 275 / 496 » Random Event Structures |
156
click to vote
LISP
2008
15 years 5 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
136
click to vote
ENTCS
2007
15 years 5 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
160
click to vote
MTA
2008
15 years 5 months ago
2008
This paper1 deals with monitoring user perception of multimedia presentations in a Universal Multimedia Access (UMA) enabled system using objective no-reference (NR) metrics. Thes...
135
click to vote
ISF
2007
15 years 5 months ago
2007
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
163
click to vote
ACTA
2002
15 years 5 months ago
2002
Abstract. In this paper the focus is on object-oriented analysis of information systems. We assume that the communication within an application domain can be described by a logbook...