2226 search results - page 77 / 446 » Pdk: The System and Its Language |
147
click to vote
JUCS
2006
15 years 6 months ago
2006
: Design patterns have been developed to cope with the vast space of possible different designs within object-oriented systems. One of those classic patterns is the Visitor Pattern...
192
click to vote
LOPSTR
2007
Springer
16 years 9 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
148
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
144
click to vote
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
We believe that with regard to the information technology applications in education, one student one computing device will be the future and long-term trend. Many related studies ...
166
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
The problem of heterogeneous case representation poses a major obstacle to realising real-life multi-case-base reasoning (MCBR) systems. The knowledge overhead in developing and ma...