6308 search results - page 849 / 1262 » Modeling Urgency in Timed Systems |
166
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
131
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a framework and an intranet solution for an electronic market of human competencies to ease the team building process, as well as to support knowledge and comp...
205
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
156
click to vote
APVIS
2003
15 years 8 months ago
2003
This paper introduces latency mapping as a technique for visualising surveillance coverage. Built on a concept for modelling the total effort by a surveillance force, latency mapp...
147
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...