4914 search results - page 755 / 983 » Arbitration of a help system |
164
click to vote
MKM
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
166
click to vote
PDCAT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
174
click to vote
RE
2004
Springer
15 years 12 months ago
2004
Springer
Jacksonās Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
196
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
165
click to vote
VIZSEC
2004
Springer
15 years 12 months ago
2004
Springer
Most visualizations of security-related network data require large amounts of ļ¬nely detailed, high-dimensional data. However, in some cases, the data available can only be coars...