2250 search results - page 331 / 450 » Interactive Explanation of Software Systems |
148
click to vote
TOMS
1998
15 years 3 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 ...
140
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools an...
127
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
121
click to vote
MSS
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a real implementation of a software component that manages caching of files from a tertiary storage management system to a large disk cache developed for use in the a...
152
click to vote
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...