16859 search results - page 3054 / 3372 » Generative software development |
184
click to vote
VSTTE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
183
click to vote
ASSETS
2004
ACM
16 years 4 days ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
206
click to vote
IUI
2004
ACM
16 years 4 days ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
154
click to vote
VRML
2004
ACM
16 years 3 days ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
182
click to vote
WOSP
2004
ACM
16 years 3 days ago
2004
ACM
Peer-to-peer, or simply P2P, systems have recently emerged as a popular paradigm for building distributed applications. One key aspect of the P2P system design is the mechanism us...