13140 search results - page 436 / 2628 » Coupling Component Systems towards Systems of Systems |
207
click to vote
FTRTFT
2000
Springer
15 years 11 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
185
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
215
click to vote
ICPP
2009
IEEE
16 years 2 months ago
2009
IEEE
—Considerable work has been done on providing fault tolerance capabilities for different software components on largescale high-end computing systems. Thus far, however, these fa...
222
click to vote
NBIS
2009
Springer
16 years 2 months ago
2009
Springer
- Recently, pervasive and ubiquitous computing evolved tremendously and has become an integral part of many fields. This is widely attributed to their efficiency in integrating wit...
180
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, I describe MRDCOM, a mobile reverse-demand communication system for the pizza industry. The web-based system will support student (buyer) sign-up and will be capabl...