2076 search results - page 106 / 416 » Kauffman networks: analysis and applications |
169
click to vote
AINA
2008
IEEE
16 years 25 days 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...
183
click to vote
NDSS
2000
IEEE
15 years 10 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...
161
click to vote
AINA
2007
IEEE
16 years 21 days 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...
166
click to vote
IPPS
1996
IEEE
15 years 10 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...
170
click to vote
JPDC
1998
15 years 6 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...