4212 search results - page 606 / 843 » Rights Expression Languages |
181
click to vote
ESTIMEDIA
2007
Springer
16 years 21 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
158
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
147
click to vote
ICALP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
162
click to vote
ICTAC
2007
Springer
16 years 21 days ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
176
click to vote
ISOLA
2007
Springer
16 years 21 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...