2673 search results - page 393 / 535 » Guided Static Analysis |
136
Voted
USENIX
2004
15 years 6 months ago
2004
In this paper, we report on experience in building and deploying an operational Internet broadcast system based on Overlay Multicast. In over a year, the system has been providing...
126
click to vote
AAAI
1998
15 years 6 months ago
1998
Modifyingknowledge-based systems is a complexactivity. One of its di culties is that several related portions of the system might have to be changed in order to maintain the coher...
141
click to vote
WSC
1997
15 years 6 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
127
click to vote
AAAI
1994
15 years 6 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
159
Voted
SPLC
2007
15 years 5 months ago
2007
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...