134 search results - page 27 / 27 » On the Application of Formal Methods for Specifying and Veri... |
TRIDENTCOM
2005
IEEE
13 years 11 months ago
2005
IEEE
To facilitate a broad range of experimental research on novel protocols and application concepts, we employ an indoor wireless testbed to emulate the performance of the real-world...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
WADT
1999
Springer
13 years 9 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...