754 search results - page 136 / 151 » Architectural Abstractions for Hybrid Programs |
134
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
144
Voted
INTERNET
2008
15 years 3 months ago
2008
straction and explained how the Representational State Transfer (REST) architectural style is one alternative that can yield a superior approach to building distributed systems. Be...
148
click to vote
TPDS
2008
15 years 3 months ago
2008
Computational Grids potentially offer low cost, readily available, and large-scale high-performance platforms. For the parallel execution of programs, however, computational GRIDs ...
165
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
147
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...