1412 search results - page 7 / 283 » types 2004 |
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
79
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
110
Voted
BIRTHDAY
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
70
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
108
Voted
IASTEDSE
2004
15 years 1 months ago
2004
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising res...