1412 search results - page 7 / 283 » types 2004 |
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
BIRTHDAY
2004
Springer
14 years 2 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...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
IASTEDSE
2004
13 years 10 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...