1501 search results - page 11 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
106
click to vote
DOLAP
2006
ACM
15 years 5 months ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...
123
click to vote
I3E
2001
15 years 18 days ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
ISIP
2008
IEEE
15 years 5 months ago
2008
IEEE
Adaptive Business Intelligence is the discipline that combines prediction, optimization and adaptability into a system answering two important questions: What would probably happe...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...