1454 search results - page 46 / 291 » Stateful traits and their formalization |
107
Voted
IAJIT
2008
15 years 17 days ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
118
Voted
ENTCS
2006
15 years 16 days ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
111
click to vote
SIGPLAN
2008
15 years 13 days ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
106
Voted
ETT
2002
15 years 9 days ago
2002
In this paper, a method is presented for the efficient estimation of rare-event (buffer overflow) probabilities in queueing networks using importance sampling. Unlike previously pr...
204
Voted
CGF
2011
14 years 7 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...