3410 search results - page 455 / 682 » Measuring Model Transformation in Model Driven Development |
141
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Experimental verification of noise models is one of the major challenges in noise modeling. A circuit-based noise characterization technique is introduced which uses phase noise me...
199
click to vote
CSFW
2005
IEEE
16 years 24 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
212
click to vote
LCN
2005
IEEE
16 years 23 days ago
2005
IEEE
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...
196
click to vote
SEM
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
229
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...