5904 search results - page 850 / 1181 » Requirements for a Composition Language |
210
click to vote
HYBRID
2005
Springer
16 years 8 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
172
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We investigate a general paradigm for constructing arbitraryinput-length (AIL) MACs from fixed-input-length (FIL) MACs, define the waste as the relevant efficiency para...
164
click to vote
ICESS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
159
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
177
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
An appealing feature of interior methods for linear programming is that the number of iterations required to solve a problem tends to be relatively insensitive to the choice of in...