559 search results - page 53 / 112 » Worqbench: An Integrated Framework for e-Science Application... |
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
MEDES
2009
ACM
14 years 3 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
ER
2001
Springer
14 years 1 months ago
2001
Springer
Rapid development of information technology such as mobile terminals and GPS systems enabled information services that provide location-oriented information based on users’ posit...
IJHPCA
2010
13 years 7 months ago
2010
We report on the development of a new computational framework for efficiently carrying out parallel data redistribution in a limited memory environment. This new library, MADRE (T...