Sciweavers

6431 search results - page 416 / 1287
» Model Building by Resolution
Sort
View
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 8 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
WSC
1998
15 years 8 months ago
Component-based Simulation Environments: JSIM as a Case Study Using Java Beans
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
John A. Miller, Youngfu Ge, Junxin Tao
SCP
2011
228views Communications» more  SCP 2011»
15 years 1 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
CIKM
2009
Springer
16 years 1 months ago
Automatic generation of topic pages using query-based aspect models
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...
Niranjan Balasubramanian, Silviu Cucerzan
RSFDGRC
2009
Springer
16 years 1 months ago
Fuzzy Sets and Rough Sets for Scenario Modelling and Analysis
Abstract. Both fuzzy set theory and rough set theory play an important role in data-driven, systems modelling and analysis. They have been successfully applied to building various ...
Qiang Shen