410 search results - page 65 / 82 » Tool Support for Invariant Based Programming |
OOPSLA
2004
Springer
14 years 25 days ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
TOMS
1998
13 years 7 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
BMCBI
2007
13 years 7 months ago
2007
Background: The huge amount of biological information, its distribution over the Internet and the heterogeneity of available software tools makes the adoption of new data integrat...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Building software product lines (SPLs) with features is a challenging task. Many SPL implementations support features with coarse granularity ? e.g., the ability to add and wrap e...
SIGCSE
2003
ACM
14 years 22 days ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...