Sciweavers

1713 search results - page 155 / 343
» Modeling and Engineering Adaptive Complex Systems
Sort
View
ER
2009
Springer
152views Database» more  ER 2009»
15 years 4 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
16 years 20 days 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
ER
2007
Springer
141views Database» more  ER 2007»
16 years 20 days 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
FSS
2002
82views more  FSS 2002»
15 years 6 months 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
16 years 1 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