Sciweavers

41938 search results - page 429 / 8388
» Complex Systems Modeling
Sort
View
CRYPTO
2005
Springer
110views Cryptology» more  CRYPTO 2005»
16 years 10 days ago
Impossibility and Feasibility Results for Zero Knowledge with Public Keys
In this paper, we continue the study the round complexity of black-box zero knowledge in the bare public-key (BPK, for short) model previously started by Micali and Reyzin in [11]....
Joël Alwen, Giuseppe Persiano, Ivan Visconti
WSC
2001
15 years 8 months ago
Agent-based simulation and greenhouse gas emissions trading
The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...
Hideyuki Mizuta, Yoshiki Yamagata
178
Voted
CANDC
2006
ACM
15 years 6 months ago
Predicting O-glycosylation sites in mammalian proteins by using SVMs
O-glycosylation is one of the most important, frequent and complex post-translational modifications. This modification can activate and affect protein functions. Here, we present ...
Sujun Li, Boshu Liu, Rong Zeng, Yu-Dong Cai, Yixue...
POPL
2012
ACM
14 years 2 months ago
Analysis of recursively parallel programs
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
Ahmed Bouajjani, Michael Emmi
172
Voted
FASE
1998
Springer
15 years 11 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan