Sciweavers

29172 search results - page 230 / 5835
» Modeling Systems in CLP
Sort
View
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
16 years 1 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
PERSUASIVE
2010
Springer
15 years 11 months ago
Behavior Change Support Systems: A Research Model and Agenda
This article introduces the concept of a behavior change support system and suggests it as a key construct for research on persuasive systems design, technologies, and applications...
Harri Oinas-Kukkonen
CMSB
2008
Springer
15 years 8 months ago
Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
Dirk Lebiedz, Dominik Skanda, Marc Fein
TSMC
2008
110views more  TSMC 2008»
15 years 6 months ago
Bridging Global and Local Models of Service-Oriented Systems
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...
IC3
2009
15 years 4 months ago
Multi-scale Modeling and Analysis of Nano-RFID Systems on HPC Setup
In this paper we have worked out on some the complex modeling aspects such as Multi Scale modeling, MATLAB Sugar based modeling and have shown the complexities involved in the anal...
Rohit Pathak, Satyadhar Joshi