Sciweavers

IEAAIE
2010
Springer
13 years 8 months ago
Modelling Greed of Agents in Economical Context
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...
Tibor Bosse, Ghazanfar F. Siddiqui, Jan Treur
STTT
2010
122views more  STTT 2010»
13 years 9 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
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...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
SMC
2010
IEEE
117views Control Systems» more  SMC 2010»
13 years 9 months ago
A simulation modelling approach enabling joint emergency response operations
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
Nicola Bicocchi, William Ross, Mihaela Ulieru
IJMSO
2010
119views more  IJMSO 2010»
13 years 9 months ago
Ontological technologies for user modelling
: 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...
Sergey A. Sosnovsky, Darina Dicheva
CORR
2010
Springer
86views Education» more  CORR 2010»
13 years 10 months ago
Modelling Variability for System Families
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...
Shamim Ripon
TCAD
2002
158views more  TCAD 2002»
13 years 10 months ago
Static power modeling of 32-bit microprocessors
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
Carlo Brandolese, Fabio Salice, William Fornaciari...
SAC
2002
ACM
13 years 10 months ago
Limits in modelling evolving computer-based systems
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...
Massimo Felici, Juliana Küster Filipe
IDA
2002
Springer
13 years 10 months ago
A framework for modelling virus gene expression data
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...
Paul Kellam, Xiaohui Liu, Nigel J. Martin, Christi...
IEE
2000
73views more  IEE 2000»
13 years 10 months ago
Component-based perspective on software mismatch detection and resolution
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
Alexander Egyed, Nenad Medvidovic, Cristina Gacek
CAD
2002
Springer
13 years 10 months ago
Integrating part and assembly modelling
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...
Alex Noort, Geoffry F. M. Hoek, Willem F. Bronsvoo...