2850 search results - page 264 / 570 » On Timed Models and Full Abstraction |
167
click to vote
BIBE
2005
IEEE
16 years 14 days ago
2005
IEEE
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
149
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
184
click to vote
FPL
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
180
click to vote
DSRT
2009
IEEE
15 years 10 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
229
click to vote
DAIS
2008
15 years 8 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...