6171 search results - page 283 / 1235 » The FrameNet Data and Software |
141
click to vote
ADAEUROPE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...
131
click to vote
VSTTE
2005
Springer
15 years 10 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...
132
click to vote
AUIC
2000
IEEE
15 years 9 months 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...
136
click to vote
SRDS
1999
IEEE
15 years 9 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...
122
click to vote
UIST
1996
ACM
15 years 9 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...