1700 search results - page 240 / 340 » Specifying and implementing refactorings |
197
click to vote
CPE
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...
155
click to vote
DL
1998
Springer
15 years 10 months ago
1998
Springer
We describe an extensible constructor tool that helps information experts (e.g., librarians) create specialized query synthesizers for heterogeneous digital-library environments. ...
183
click to vote
SMILE
1998
Springer
15 years 10 months ago
1998
Springer
As virtual worlds demand ever more realistic 3D models, attention is being focussed on systems that can acquire graphical models from real objects. This paper describes a system wh...
122
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
166
click to vote
SCCC
1997
IEEE
15 years 10 months ago
1997
IEEE
A cooperative database allows the user to specify approximate or vague query conditions. A vague query requires the database system to rank the retrieved answers according to thei...