286 search results - page 33 / 58 » Reasoning about multiple related abstractions with MultiStar |
146
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
118
click to vote
ALIFE
2004
15 years 6 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
165
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
201
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
A Data Warehouse DW can be abstractly seen as a set of materialized views de ned over a set of remote data sources. A DW is intended to satisfy a set of queries. The views materi...
140
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
Abstract—In Open Source System (OSS) development, software components are often imported and reused; for this reason we might expect that files are copied in multiple projects (...