IEAAIE
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. A classical debate in economics addresses the advantages and drawbacks of modelling from a macroeconomics perspective as opposed to modelling from a microeconomics perspe...
STTT
2010
13 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
SMC
2010
IEEE
13 years 3 months ago
2010
IEEE
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
IJMSO
2010
13 years 3 months ago
2010
: This paper brings together research from two different fields – user modelling and web ontologies – in attempt to demonstrate how recent semantic trends in web development ca...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variabi...
TCAD
2002
13 years 4 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
SAC
2002
ACM
13 years 4 months ago
2002
ACM
This paper explores the limitations of one technique for modelling computer-based systems with evolving requirements. A case study is introduced which highlights the importance of...
IDA
2002
Springer
13 years 4 months ago
2002
Springer
Short, high-dimensional, Multivariate Time Series (MTS) data are common in many fields such as medicine, finance and science, and any advance in modelling this kind of data would b...
IEE
2000
13 years 4 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
CAD
2002
Springer
13 years 4 months ago
2002
Springer
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...