Sciweavers

4041 search results - page 138 / 809
» A Model of Creative Understanding
Sort
View
EJIS
2007
94views more  EJIS 2007»
15 years 3 months ago
Applying ontology-based rules to conceptual modeling: a reflection on modeling decision making
Conceptual modeling represents a domain independently of implementation considerations for purposes of understanding the problem at hand and communicating about it. However, diffe...
Pnina Soffer, Irit Hadar
SPLC
2007
15 years 5 months ago
A Quality Model for Evaluating Feature Models
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
Christer Thörn
ICC
2007
IEEE
135views Communications» more  ICC 2007»
15 years 10 months ago
New Results on Single-Step Power Control System in Finite State Markov Channel: Power Control Error Modelling and Queueing Varia
— The analysis regarding the impact of the single-step power control (SSPC) scheme on the system performance such as bit error rate, packet error rate and queueing variation is h...
Shi-Yong Lee, Min-Kuan Chang
ISD
1999
Springer
262views Database» more  ISD 1999»
15 years 8 months ago
Spatial Pictogram Enhanced Conceptual Data Models and Their Translation to Logical Data Models
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
Shashi Shekhar, Ranga Raju Vatsavai, Sanjay Chawla...
CAV
2000
Springer
138views Hardware» more  CAV 2000»
15 years 7 months ago
Counterexample-Guided Abstraction Refinement
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan ...