Sciweavers

1772 search results - page 110 / 355
» The Model Coupling Toolkit
Sort
View
BMAS
2000
IEEE
15 years 3 months ago
A Table-Based Time-Domain Simulation Method for Oversampled Microelectromechanical Systems
This paper describes a table-based behavioral modeling method and an efficient transient simulation method for oversampled MEMS systems. A system is represented by a set of coupl...
Jiangfeng Wu, L. Richard Carley
FMSB
2008
138views Formal Methods» more  FMSB 2008»
15 years 27 days ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
CONSTRAINTS
2007
94views more  CONSTRAINTS 2007»
14 years 11 months ago
A Constraint-based Approach for Annotating Music Scores with Gestural Information
The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a ...
Daniele P. Radicioni, Vincenzo Lombardo
ICDE
1995
IEEE
180views Database» more  ICDE 1995»
16 years 20 days ago
Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions
Active OODBMSs must provide e cient support for event detection, composition, and rule execution. Previous experience, reported here, building active capabilities on top of existi...
Alejandro P. Buchmann, Jürgen Zimmermann, Jos...
XPU
2007
Springer
15 years 5 months ago
Empirical Evidence Principle and Joint Engagement Practice to Introduce XP
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
Lech Madeyski, Wojciech Biela