2806 search results - page 395 / 562 » BML and Related Tools |
160
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
The Hypertext-based Webs such as Intranets contain a vast amount of information pertaining to an enormous number of subjects. It is, however, an organically grown and thus essentia...
213
click to vote
KDD
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes the Perseus project, which is devoted to developing techniques and tools for creating personalized multimedia news portals. The purpose of a personalized mult...
169
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
226
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
146
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...