Sciweavers

3192 search results - page 148 / 639
» A Requirements-Driven Development Methodology
Sort
View
FMCAD
2009
Springer
15 years 9 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
ICWS
2010
IEEE
15 years 6 months ago
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, El...
TSMC
2011
240views more  TSMC 2011»
15 years 1 days ago
Modeling Competition in the Telecommunications Market Based on Concepts of Population Biology
—Based on concepts of ecology modeling and specifi-4 cally on population biology, a methodology for describing a high-5 technology market’s dynamics is developed and presented...
Christos Michalakelis, Thomas Sphicopoulos, Dimitr...

Publication
453views
17 years 3 months ago
System Level Modeling of IEEE 802.16e Mobile WiMAX Networks: Key Issues
WiMAX has attracted a lot of attention recently in the telecommunication community including researchers, product developers and service providers. Numerous papers have been publis...
Raj Jain, Chakchai So-In, and Abdel-Karim Al Tamim...
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
15 years 8 months ago
An Environment Physically Distributed in Java
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
Denivaldo Lopes, Zair Abdelouahab