2850 search results - page 407 / 570 » On Timed Models and Full Abstraction |
179
click to vote
JOT
2008
15 years 6 months ago
2008
As Service-Oriented Computing is gaining mainstream adoption, Services are emerging as core-building blocks of today's applications. In particular, web services have become t...
183
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We apply sparse Bayesian learning methods, automatic relevance determination (ARD) and predictive ARD (PARD), to Alzheimer’s disease (AD) classification to make accura...
177
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
171
click to vote
ISW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Android is a modern and popular software platform for smartphones. Among its predominant features is an advanced security model which is based on application-oriented man...
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the store...