598 search results - page 59 / 120 » Aspect-Oriented Development Using Protocol Modeling |
DATE
2005
IEEE
13 years 12 months ago
2005
IEEE
Transaction Level Modeling (TLM) approach is used to meet the simulation speed as well as cycle accuracy for large scale SoC performance analysis. We implemented a transaction-lev...
AAAI
2004
13 years 11 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
GC
2004
Springer
14 years 3 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
ISPAN
1999
IEEE
14 years 2 months ago
1999
IEEE
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...
DSRT
2004
IEEE
14 years 1 months ago
2004
IEEE
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...