4666 search results - page 817 / 934 » Equations on Timed Languages |
154
click to vote
SOSP
1989
ACM
15 years 5 months ago
1989
ACM
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
158
click to vote
AIPS
2009
15 years 5 months ago
2009
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...
167
click to vote
CLEF
2009
Springer
15 years 5 months ago
2009
Springer
Log data constitute a relevant aspect in the evaluation process of the quality of a search engine and the quality of a multilingual search service; log data can be used to study t...
144
click to vote
DAGSTUHL
2009
15 years 4 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
141
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...