Sciweavers

12487 search results - page 117 / 2498
» Graspable Work Modeling
Sort
View
ASIACRYPT
2011
Springer
14 years 3 months ago
Resettable Cryptography in Constant Rounds - The Case of Zero Knowledge
A fundamental question in cryptography deals with understanding the role that randomness plays in cryptographic protocols and to what extent it is necessary. One particular line o...
Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, A...
CEC
2009
IEEE
15 years 1 months ago
Multi-objective Combinatorial Optimisation with Coincidence algorithm
-- Most optimization algorithms that use probabilistic models focus on extracting the information from good solutions found in the population. A selection method discards the below...
Warin Wattanapornprom, Panuwat Olanviwitchai, Para...
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 1 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
IGARSS
2009
15 years 29 days ago
Fuzzy Spatial Relations for High Resolution Remote Sensing Image Analysis: The Case of "To Go Across"
High resolution remote sensing (HR RS) images allow discriminating between different objects in a scene. Spatial reasoning techniques can be used to interpret and describe the sce...
Maria Carolina Vanegas, Isabelle Bloch, Jordi Ingl...
CLEIEJ
2010
15 years 20 days ago
A method to define process capability profiles from the characteristics of very small software enterprises
This work presents a method for the definition of process capability profiles lined up with the specific business model of small software companies. The developed method is made u...
Cristiano Schwening, Marcello Thiry