665 search results - page 81 / 133 » Extending Software Development Methodologies to Support Trus... |
81
Voted
SIMUTOOLS
2008
15 years 8 days ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
APPINF
2003
15 years 7 days ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
P2P
2009
IEEE
15 years 5 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
AMAST
2006
Springer
15 years 25 days ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
92
Voted
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...