Sciweavers

3255 search results - page 211 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
197
Voted
TCBB
2011
14 years 11 months ago
Semi-Markov Models for Brownian Dynamics Permeation in Biological Ion Channels
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
Vikram Krishnamurthy, Kai Yiu Luk
145
Voted
EUROMICRO
2007
IEEE
15 years 11 months ago
Using Model Differencing for Architecture-level Regression Testing
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
Henry Muccini
158
Voted
RE
2010
Springer
14 years 11 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
WWW
2006
ACM
16 years 5 months ago
Model-based version and configuration management for a web engineering lifecycle
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
Tien Nhut Nguyen
MODELLIERUNG
2008
15 years 6 months ago
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
Miguel García, Ralf Möller