Sciweavers

173 search results - page 23 / 35
» Refinement and Consistency in Multiview Models
Sort
View
FROCOS
2000
Springer
14 years 6 days ago
Handling Differential Equations with Constraints for Decision Support
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
Jorge Cruz, Pedro Barahona
FSEN
2009
Springer
14 years 15 days ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
IQ
2007
13 years 10 months ago
A Model for Information Quality in the Banking Industry - The Case of the Public Banks In Brazil
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
Luís Francisco Ramos Lima, Antonio Carlos G...
AGENTS
2001
Springer
14 years 1 months ago
Evaluation of modeling techniques for agent-based systems
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
Onn Shehory, Arnon Sturm
ATAL
2006
Springer
14 years 11 days ago
Evaluating a computational model of social causality and responsibility
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
Wenji Mao, Jonathan Gratch