16 search results - page 2 / 4 » A Parametric Model for the Analysis of Mobile Ambients |
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
ICC
2009
IEEE
14 years 1 days ago
2009
IEEE
—The changes in the communication paradigm envisioned for future networks, with peer-to-peer/symmetric attachments gaining momentum and two IP (Internet Protocol) versions coexis...
JCM
2008
13 years 5 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
TCOM
2010
13 years 21 hour ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...
RE
2010
Springer
13 years 1 days ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...