1304 search results - page 141 / 261 » RTOS Modeling for System Level Design |
160
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
125
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
170
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
CDMA2000, WCDMA and WiMAX are three widely used 3G technologies. Since they share the same goal, which is to provide broader coverage and higher throughput in 3G networks, an impar...
124
click to vote
EWSA
2005
Springer
15 years 10 months ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
142
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...