3653 search results - page 76 / 731 » On Recognizable Timed Languages |
JAPLL
2006
14 years 9 months ago
2006
In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures...
ECOOPW
1997
Springer
15 years 2 months ago
1997
Springer
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
ER
2008
Springer
14 years 11 months ago
2008
Springer
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
SAS
2007
Springer
15 years 4 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
ICALP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We consider the scheduling problem of minimizing the average weighted job completion time on a single machine under precedence constraints. We show that this problem with...