3724 search results - page 224 / 745 » Timed regular expressions |
197
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
165
click to vote
CDVE
2005
Springer
15 years 11 months ago
2005
Springer
A constraint expresses a relationship among one or more variables. Constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE ...
193
click to vote
CSR
2010
Springer
15 years 10 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
169
click to vote
DAGM
2001
Springer
15 years 10 months ago
2001
Springer
In this article, we present a new method for visual face tracking that is carried out in a wavelet subspace. Initially, a wavelet representation for the face template is created, ...
131
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...