4520 search results - page 423 / 904 » Algebraic Techniques for Timed Systems |
198
click to vote
CCE
2006
15 years 7 months ago
2006
This paper describes the development of a real-time monitoring system for a batch process operated by Aroma and Fine Chemicals Limited. The process shares many similarities with o...
228
click to vote
CSMR
2002
IEEE
16 years 20 days ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
166
click to vote
USENIX
1994
15 years 9 months ago
1994
The Network File System (NFS) utilizes a stateless protocol between clients and servers; the major advantage of this statelessness is that NFS crash recovery is very easy. However...
206
click to vote
IJNSEC
2007
15 years 7 months ago
2007
Various cryptosystems exploit exhaustive techniques to search, missing-the-mark, key space. Such search techniques should be guided in order to be computationally adequate. Here, ...
194
click to vote
TON
2002
15 years 7 months ago
2002
The design of the IP protocol makes it difficult to reliably identify the originator of an IP packet. Even in the absence of any deliberate attempt to disguise a packet's orig...