1097 search results - page 170 / 220 » Model Transformations in the Development of Data-Intensive W... |
120
click to vote
SIGOPS
2010
14 years 12 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
135
click to vote
ICEGOV
2009
ACM
14 years 11 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
123
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
135
click to vote
ISBRA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Cancer detection using mammography focuses on characteristics of tiny microcalcifications, including the number, size, and spatial arrangement of microcalcification clu...
110
click to vote
LISP
2008
15 years 1 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...