4008 search results - page 570 / 802 » An expressive language of signatures |
183
click to vote
ESTIMEDIA
2007
Springer
16 years 23 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...
162
click to vote
FSTTCS
2007
Springer
16 years 23 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...
150
click to vote
ICALP
2007
Springer
16 years 23 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 ...
178
click to vote
ISOLA
2007
Springer
16 years 22 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: ...
162
click to vote
JSAI
2007
Springer
16 years 22 days ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...