Sciweavers

852 search results - page 48 / 171
» The design, implementation, and application of the grewpEdit...
Sort
View
SEFM
2007
IEEE
15 years 4 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
IJCIS
2007
101views more  IJCIS 2007»
14 years 9 months ago
Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
Cristina Vicente-Chicote, Fernando Losilla, B&aacu...
TITB
2008
106views more  TITB 2008»
14 years 9 months ago
A Novel Software Platform for Medical Image Processing and Analyzing
The design of software platform for medical imaging application has been increasingly prioritized as the sophisticated application of medical imaging. With this demand, we have des...
Jie Tian, Jian Xue, Yakang Dai, Jian Chen, Jian Zh...
JSS
2007
109views more  JSS 2007»
14 years 9 months ago
Using Bayesian belief networks for change impact analysis in architecture design
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
Antony Tang, Ann E. Nicholson, Yan Jin, Jun Han
DSS
2007
140views more  DSS 2007»
14 years 9 months ago
A decision support system for product design in concurrent engineering
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
Li Da Xu, Zongbin Li, Shancang Li, Fengming Tang