1438 search results - page 145 / 288 » An Expressive Extension of TLC |
134
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
134
click to vote
ESWS
2005
Springer
16 years 1 days ago
2005
Springer
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
241
click to vote
FSTTCS
2005
Springer
16 years 1 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...
174
click to vote
ICESS
2005
Springer
16 years 19 hour ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
151
click to vote
ICLP
2005
Springer
16 years 17 hour ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...