15974 search results - page 2990 / 3195 » Object-Oriented Software Engineering |
118
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
145
Voted
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
141
Voted
EUROMICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
Internet services like the world-wide web and multimedia applications like News- and Video-on-Demand have become very popular over the last years. Due to the large number of users ...
142
Voted
EUROMICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
To accommodate heterogeneous transmission conditions in a streaming scenario several multi-rate multicast solutions have been proposed, based on simulcasting or hierarchical layer...
151
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Java mirror objects are building blocks for integrating web-based with high performance applications. This paper demonstrates the utility of mirror objects for construction of rem...