4636 search results - page 138 / 928 » Modelling and Validation with VipTool |
139
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
150
click to vote
QUATIC
2007
IEEE
16 years 16 days ago
2007
IEEE
– Systematic reviews on software engineering literature have shown an insufficient experimental validation of claims, when compared to the standard practice in other wellestablis...
155
click to vote
WSFM
2007
Springer
16 years 11 days ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
144
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Interconnects have deserved attention as a source of crosstalk to other interconnects, but have been ignored as a source of substrate noise. In this paper, we evaluate the importa...
154
click to vote
CCECE
2006
IEEE
16 years 9 days ago
2006
IEEE
We develop a simple yet accurate analysis of the interference distribution in a cellular system, with particular emphasis on a two-hop fixed relay network, though the analysis may...