7623 search results - page 411 / 1525 » Constructive Volume Modeling |
234
click to vote
ASIACRYPT
2011
Springer
14 years 6 months ago
2011
Springer
We provide constructions of (m, 1)-programmable hash functions (PHFs) for m ≥ 2. Mimicking certain programmability properties of random oracles, PHFs can, e.g., be plugged into ...
207
Voted
AH
2008
Springer
16 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
144
click to vote
FSKD
2007
Springer
16 years 26 days ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
159
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
169
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...