7225 search results - page 427 / 1445 » Software is data too |
191
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
183
click to vote
AUIC
2000
IEEE
16 years 19 hour ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...
198
click to vote
SRDS
1999
IEEE
15 years 12 months ago
1999
IEEE
The paper presents the design of a software infrastructure that can support negotiation and competition among buyers and sellers of goods (auctioning) over the Internet. The goals...
171
click to vote
UIST
1996
ACM
15 years 11 months ago
1996
ACM
Techniques for improving the imageability of an existing data visualisation are described. The aim is to make the visualisation more easily explored, navigated and remembered. Sta...
247
click to vote
CC
2002
Springer
15 years 7 months ago
2002
Springer
Vmgen automates many of the tasks of writing the virtual machine part of an interpreter, resulting in less coding, debugging and maintenance e ort. This paper gives some quantitati...