1567 search results - page 275 / 314 » A Mechanized Model of the Theory of Objects |
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
109
click to vote
MMS
2000
14 years 11 months ago
2000
An admission control algorithm for a multimedia server is responsible for determining if a new request can be accepted without violating the Quality of Service (QoS) requirements o...
KDD
2006
ACM
16 years 6 days ago
2006
ACM
Various data mining applications involve data objects of multiple types that are related to each other, which can be naturally formulated as a k-partite graph. However, the resear...
133
click to vote
PRDC
2009
IEEE
15 years 6 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
108
click to vote
ISPW
1996
IEEE
15 years 4 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...