Sciweavers

468 search results - page 8 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
MICCAI
2005
Springer
14 years 8 months ago
Subject Specific Finite Element Modelling of the Levator Ani
Understanding of the dynamic behaviour of the levator ani is important to the assessment of pelvic floor dysfunction. Whilst shape modelling allows the depiction of 3D morphologica...
Su-Lin Lee, Ara Darzi, Guang-Zhong Yang
ICSE
2009
IEEE-ACM
13 years 5 months ago
A non-intrusive component-based approach for deploying unanticipated self-management behaviour
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
Sandro Santos Andrade, Raimundo José de Ara...
ASWEC
2000
IEEE
13 years 11 months ago
Storing and Retrieving Software Components: A Component Description Manager
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
Rune Meling, E. James Montgomery, Pon Sudha Ponnus...
BIRTHDAY
2008
Springer
13 years 9 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki
FMOODS
2007
13 years 8 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...