614 search results - page 73 / 123 » Design Methodology for a Modular Component Based Software Ar... |
194
click to vote
TPHOL
1998
IEEE
15 years 10 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...
189
click to vote
CODES
2006
IEEE
16 years 17 days 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...
207
click to vote
ICAI
2003
15 years 8 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...
189
click to vote
PERCOM
2010
ACM
15 years 4 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...
145
click to vote
MODELS
2007
Springer
16 years 19 days 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...