4615 search results - page 754 / 923 » Virtual Classes and Their Implementation |
167
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
In recent years, many research efforts focus on relative differentiated service due to the increasing requirements on quality of service for time-sensitive applications. Most of t...
190
click to vote
PDP
2005
IEEE
15 years 12 months ago
2005
IEEE
Circulant graphs have been deeply studied in technical literature. Midimew networks are a class of distancerelated optimal circulant graphs of degree four which have applications ...
145
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
151
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
201
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...