5639 search results - page 280 / 1128 » Timed Abstract Non-interference |
119
Voted
EMISA
2002
Springer
15 years 3 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
114
Voted
JOLLI
2010
15 years 1 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
114
Voted
IMCSIT
2010
15 years 1 months ago
2010
Abstract--Recently, we have introduced an approach to multicore computations on sparse matrices using recursive partitioning, called Recursive Sparse Blocks (RSB). In this document...
242
click to vote
ICDE
2008
IEEE
16 years 4 months ago
2008
IEEE
Content-based retrieval of spatio-temporal patterns from human motion databases is inherently nontrivial since finding effective distance measures for such data is difficult. These...
120
Voted
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...