614 search results - page 73 / 123 » Design Methodology for a Modular Component Based Software Ar... |
TPHOL
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
ICAI
2003
13 years 11 months ago
2003
Advances in sensor and wireless technologies will enable thousands, or even millions of small but smart sensors to be deployed for a wide range of monitoring applications. The sen...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
—This paper introduces a new software development platform specifically designed for wireless health applications. Wireless health applications follow a unique paradigm encompas...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...