443 search results - page 4 / 89 » A System Development Process with Event-B and the Rodin Plat... |
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
WSC
2008
13 years 9 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
BMCBI
2011
12 years 10 months ago
2011
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...
EGC
2005
Springer
14 years 6 days ago
2005
Springer
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
DSS
2007
13 years 6 months ago
2007
Since the early 1970s, decision support systems (DSS) have evolved significantly. In this paper, the design and implementation of MSMiner, a developing platform for DSS, is introd...