7623 search results - page 1054 / 1525 » Constructive Volume Modeling |
183
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
168
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
176
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
iSCSI has a problem of drastic performance deterioration in the case of longer-latency. Thus, we have optimized iSCSI remote storage access through multiple layers. As a result, w...
189
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
164
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, whi...