Sciweavers

2403 search results - page 106 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
ASE
2005
102views more  ASE 2005»
15 years 5 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
163
Voted
ECEASST
2008
112views more  ECEASST 2008»
15 years 5 months ago
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
FSS
2006
94views more  FSS 2006»
15 years 5 months ago
Generalized transformed t-conorm integral and multifold integral
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...
Yasuo Narukawa, Vicenç Torra
MICCAI
2001
Springer
15 years 10 months ago
A New Method for the Registration of Cardiac PET and MR Images Using Deformable Model Based Segmentation of the Main Thorax Stru
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
Timo Mäkelä, Patrick Clarysse, Jyrki L&o...
159
Voted
ICSM
2009
IEEE
16 years 8 days ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey