2076 search results - page 106 / 416 » Kauffman networks: analysis and applications |
AINA
2008
IEEE
14 years 4 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
NDSS
2000
IEEE
14 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a distributed user authentication scheme in wireless sensor networks. Our scheme is based on the self-certified keys cryptosystem (SCK), and we have modified i...
IPPS
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper presents an optical interconnect model for kary n-cube network topologies based on free-space analysis. This model integrates relevant parameters inherent to optics wit...
JPDC
1998
13 years 10 months ago
1998
This paper presents an optical interconnect model for k-ary n-cube network topologies based on freespace analysis. This model integrates relevant parameters inherent to optics wit...