Sciweavers

2846 search results - page 48 / 570
» Believe it or Not
Sort
View
IPPS
2007
IEEE
16 years 10 days ago
A Probabilistic Approach to Measuring Robustness in Computing Systems
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
Behdis Eslamnour, Shoukat Ali
QUATIC
2007
IEEE
16 years 9 days ago
Model Driven Development of Software Product Lines
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside t...
Alexandre Bragança, Ricardo Jorge Machado
ACNS
2007
Springer
105views Cryptology» more  ACNS 2007»
16 years 7 days ago
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
ICALP
2007
Springer
16 years 6 days ago
A Combinatorial Theorem for Trees
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
Thomas Colcombet
ICIC
2007
Springer
16 years 5 days ago
Human-Like Learning Methods for a "Conscious" Agent
In most contexts, learning is essential for the long-term autonomy of an agent. We describes here some essential and fundamental learning mechanisms implemented in a cognitive auto...
Usef Faghihi, Daniel Dubois, Mohamed Gaha, Roger N...