3836 search results - page 653 / 768 » Semantics of Database Transformations |
109
click to vote
OTM
2010
Springer
15 years 10 days ago
2010
Springer
In this paper we deal with problems occurring in evolving interrelated Web databanks. Examples of such databanks are networks of interlinked scientific repositories on the Web, man...
134
click to vote
ENTCS
2010
14 years 12 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
141
Voted
DSS
2002
15 years 2 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
157
click to vote
TSC
2010
14 years 9 months ago
2010
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...
141
Voted
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...