1981 search results - page 209 / 397 » Model-Checking Hierarchical Structures |
EDBT
2004
ACM
14 years 10 months ago
2004
ACM
XQuery is increasingly popular among computer scientists with a SQL background, since queries in XQuery and SQL require comparable skills to be formulated. However, the number of ...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents an approach for human activity recognition by representing the frames of the video sequence with the distribution of local motion features and their spatiotemp...
TACAS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
TACS
2001
Springer
14 years 2 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...