2060 search results - page 288 / 412 » The Composition of Event-B Models |
173
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
172
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In open settings, the participants are autonomous and there is no central authority to ensure the felicity of their interactions. When agents interact in such settings, each relie...
188
click to vote
SMILE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
195
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: RNA interference (RNAi) is a naturally occurring phenomenon that results in the suppression of a target RNA sequence utilizing a variety of possible methods and pathwa...
191
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Microarrays offer great potential as a platform for molecular diagnostics, testing clinical samples for the presence of numerous biomarkers in highly multiplexed assay...