3645 search results - page 164 / 729 » Implementing mapping composition |
152
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
190
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
150
click to vote
ENTCS
2006
15 years 6 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
238
click to vote
CASC
2011
Springer
14 years 6 months ago
2011
Springer
We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for comp...
171
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...