5525 search results - page 840 / 1105 » Verification of Model Transformations |
157
Voted
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper studies mobile-generated traffic distributions in mobile ATM networks and evaluates the performance of path rerouting algorithms for handoff control. In mobile ATM netwo...
162
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...
186
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
181
click to vote
VISSYM
2007
15 years 9 months ago
2007
Expressive and efficient visualizations of complex vascular structures are essential for medical applications, such as diagnosis and therapy planning. A variety of techniques has ...
163
click to vote
AAAI
2007
15 years 9 months ago
2007
An important application area of detecting erroneous sentences is to provide feedback for writers of English as a Second Language. This problem is difficult since both erroneous ...