1040 search results - page 150 / 208 » A New Periodicity Lemma |
SDL
2001
13 years 11 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
SIP
2001
13 years 11 months ago
2001
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...
WSC
2001
13 years 11 months ago
2001
The increased tasking and reduced manning of a multi mission aircraft put pressures on the mission-crew in terms of their workload, mixture of skill and the training required. Thi...
WSMAI
2004
13 years 11 months ago
2004
Continuous Queries (CQ) help users to retrieve results as soon as they become available. The CQ keeps track of two important events. If there is any change in the source informatio...
USENIX
2003
13 years 11 months ago
2003
We present a novel peer-to-peer backup technique that allows computers connected to the Internet to back up their data cooperatively: Each computer has a set of partner computers,...