1835 search results - page 67 / 367 » A Generic Framework for the Modeling of Contexts and its App... |
EUROPAR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
NBIS
2009
Springer
14 years 1 months ago
2009
Springer
At present time, the maturity of P2P research field has pushed through new problems such us those related with security. For that reason, security starts to become one of the key...
SWWS
2008
13 years 10 months ago
2008
- Since the population of elderly people grows absolutely and in relation to the overall population in the world, the improvement of the quality of life of elderly people at home i...
CONTEXT
2003
Springer
14 years 2 months ago
2003
Springer
This paper discusses the dynamic of context through the use of a context-based formalism called contextual graphs that has been initially developed in the SART application for the ...