2701 search results - page 445 / 541 » On the form of witness terms |
165
click to vote
OOPSLA
2007
Springer
16 years 16 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
162
click to vote
RV
2007
Springer
16 years 16 days ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
183
click to vote
SAT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
148
click to vote
DASFAA
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract. As networks continue to grow in size and complexity, distributed network monitoring and resource querying are becoming increasingly difficult. Our aim is to design, build...
150
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— Multihoming has been used by stub networks for several years as a form of redundancy, improving the availability of Internet access. More recently, Intelligent Route Control (I...