2081 search results - page 127 / 417 » Chaotic Systems Synchronization in Secure Communication Syst... |
CUZA
2002
13 years 8 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
JCS
2002
13 years 8 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
APN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
JDM
1998
13 years 8 months ago
1998
We propose a new replication control scheme for multiple-copy consistency in mobile distributed database systems. Replicating data at multiple sites could contribute to enhance th...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...