7827 search results - page 166 / 1566 » time 2007 |
176
click to vote
CONCUR
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
171
click to vote
DFG
2007
Springer
16 years 4 days ago
2007
Springer
: Over the past years, the interaction between humans and computers (HCI) evolved to one of the most important research topics in computer science. Therefore, finding a way for an...
167
click to vote
FORMATS
2007
Springer
16 years 4 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
161
click to vote
LADS
2007
Springer
16 years 3 days ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
156
click to vote
OR
2007
Springer
16 years 3 days ago
2007
Springer
We report on the development of a Decision Support System (DSS) to plan the best assignment for the weekly promotion space of a TV station. Each product to promote has a given tar...