Sciweavers

543 search results - page 29 / 109
» FMC: An Approach Towards Architecture-Centric System Develop...
Sort
View
ER
2009
Springer
152views Database» more  ER 2009»
14 years 11 months ago
Towards a Theory of Conceptual Modelling
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
Bernhard Thalheim
IJIS
2007
103views more  IJIS 2007»
15 years 1 months ago
A human-computer debating system prototype and its dialogue strategies
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer debating system for educational debate. In part...
Tangming Yuan, David J. Moore, Alec Grierson
107
Voted
HYBRID
2000
Springer
15 years 5 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 5 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
105
Voted
HICSS
2005
IEEE
146views Biometrics» more  HICSS 2005»
15 years 7 months ago
Open Source Enterprise Systems: Towards a Viable Alternative
Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation...
Alexander Dreiling, Helmut Klaus, Michael Rosemann...