1760 search results - page 242 / 352 » Program Analysis Using Weighted Pushdown Systems |
119
Voted
SIGDOC
1997
ACM
15 years 6 months ago
1997
ACM
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
133
click to vote
ECBS
1999
IEEE
15 years 6 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
123
click to vote
DBPL
1989
Springer
15 years 6 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
113
Voted
ICSM
2006
IEEE
15 years 8 months ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
104
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
An under-explored question in cross-language information retrieval (CLIR) is to what degree the performance of CLIR methods depends on the availability of high-quality translation...