Sciweavers

4454 search results - page 411 / 891
» Designing components for e-services
Sort
View
WICSA
2004
15 years 9 months ago
Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
Hassan Gomaa, Mohamed Hussein
MAICS
2003
15 years 9 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz
MSO
2003
15 years 9 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 9 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
CAINE
2009
15 years 8 months ago
In Silico White Blood Cell: A Synthetic Model of Leukocyte Rolling, Activation, and Adhesion During Inflammation
We have constructed a synthetic in silico model for representing the dynamics of leukocyte rolling, activation, and adhesion on substrate-coated flow chambers. Software components...
Jonathan Tang, C. Anthony Hunt