Sciweavers

1682 search results - page 146 / 337
» A behavior model for persuasive design
Sort
View
IJCAI
1989
15 years 7 months ago
Reasoning About Assumptions in Graphs of Models
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
Sanjaya Addanki, Roberto Cremonini, J. Scott Penbe...
FASE
2000
Springer
15 years 10 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
ICSE
2001
IEEE-ACM
15 years 10 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong
ISBI
2009
IEEE
16 years 1 months ago
Instance-Based Generative Biological Shape Modeling
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...
Tao Peng, Wei Wang, Gustavo K. Rohde, Robert F. Mu...
CORR
2007
Springer
127views Education» more  CORR 2007»
15 years 6 months ago
Common Reusable Verification Environment for BCA and RTL Models
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane