Sciweavers

1713 search results - page 155 / 343
» Modeling and Engineering Adaptive Complex Systems
Sort
View
ER
2009
Springer
152views Database» more  ER 2009»
14 years 10 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
ICFEM
2007
Springer
15 years 6 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
91
Voted
ER
2007
Springer
141views Database» more  ER 2007»
15 years 6 months ago
Active Meta Modeling Support for Evolving E-contracts
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
P. Radha Krishna, Kamalakar Karlapalem
107
Voted
FSS
2002
82views more  FSS 2002»
15 years 6 days ago
Fuzzy controller for a system with uncertain load
In many applications of motion control, problems associated with imprecisely measured or changing load (a mass or a moment of inertia) can be a serious obstacle in the formation o...
Piotr Kulczycki, Rafael Wisniewski
C3S2E
2009
ACM
15 years 7 months ago
Integrating heterogeneous user interfaces in service oriented web applications
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
Matthias Tilsner, Adrian Fiech, Thomas Specht