16682 search results - page 3137 / 3337 » Software Engineering Education |
184
click to vote
CODES
2002
IEEE
16 years 4 days 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...
202
click to vote
ECRTS
2002
IEEE
16 years 3 days 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...
202
click to vote
EUROMICRO
2002
IEEE
16 years 3 days 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 ...
198
click to vote
EUROMICRO
2002
IEEE
16 years 3 days 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...
221
click to vote
IPPS
2002
IEEE
16 years 2 days 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...