581 search results - page 98 / 117 » Translating dependency into parametricity |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
ECEASST
2006
13 years 10 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
ISCI
2008
13 years 10 months ago
2008
Significant research has been devoted to aggregation in sensor networks with a view to optimize its performance. Existing research has mostly concentrated on maximizing network li...
JIS
2008
13 years 10 months ago
2008
The fragmentation of knowledge management (KM) as a field and as an area of research poses serious theoretical challenges for researchers. The viability of KM rests on how the com...
JCC
2006
13 years 10 months ago
2006
If a macromolecule is described by curvilinear coordinates or rigid constraints are imposed, the equilibrium probability density that must be sampled in Monte Carlo simulations in...