3374 search results - page 493 / 675 » Explaining Similarity of Terms |
149
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
151
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...
152
click to vote
ISPASS
2010
IEEE
15 years 10 months ago
2010
IEEE
Binary instrumentation facilitates the insertion of additional code into an executable in order to observe or modify the executable's behavior. There are two main approaches t...
170
click to vote
SIGECOM
1999
ACM
15 years 10 months ago
1999
ACM
Performance analysis and capacity planning for e-commerce sites poses an interesting problem: how to best characterize the workload of these sites. Tradition al workload character...
170
click to vote
METRICS
1999
IEEE
15 years 10 months ago
1999
IEEE
The design of software is often depicted by graphs that show components and their relationships. For example, a structure chart shows the calling relationships among components. O...