3724 search results - page 370 / 745 » Timed regular expressions |
169
click to vote
TIME
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
245
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
154
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
TOBIAS is a combinatorial testing tool, aimed at the production of large test suites. In this paper, TOBIAS is applied to conformance tests for model-based specifications (express...
115
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper s...
196
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....