111 search results - page 13 / 23 » Temporal constraints in the logical analysis of regulatory n... |
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
FMSD
2006
13 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
FSTTCS
2004
Springer
14 years 26 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
TWC
2010
13 years 2 months ago
2010
Dynamic spectrum leasing (DSL) is one of the schemes proposed for dynamic spectrum sharing (DSS) in cognitive radio networks. In DSL, spectrum owners, denoted as primary users, dyn...
ICMCS
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...