878 search results - page 16 / 176 » Concepts and their Use for Modelling Objects and References ... |
ICCD
2006
IEEE
14 years 4 months ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
ER
2007
Springer
14 years 1 months ago
2007
Springer
The tutorial first addresses requirements and semantic problems to integrate digital information into large scale, meaningful networks of knowledge that support not only access to...
ACMSE
2005
ACM
14 years 29 days ago
2005
ACM
As component-oriented approaches become increasingly pervasive in the development of complex software systems, it becomes increasingly important to introduce computing science stu...