1173 search results - page 59 / 235 » Weighted Distributed Systems and Their Logics |
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
CONCUR
1990
Springer
14 years 2 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
FSKD
2006
Springer
14 years 1 months ago
2006
Springer
This paper argues about the deployment positions of Network-based Intrusion Detection System and suggests the "Distributed Network Security Sensors" distributed among the...
ICPPW
2002
IEEE
14 years 2 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...