Sciweavers

18 search results - page 2 / 4
» PLAN: A Packet Language for Active Networks
Sort
View
CSFW
2000
IEEE
13 years 10 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
DANCE
2002
IEEE
13 years 11 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
IFIP
2010
Springer
13 years 4 months ago
Active Ageing Roadmap - A Collaborative Networks Contribution to Demographic Sustainability
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...
Luis M. Camarinha-Matos, Hamideh Afsarmanesh
WSC
2000
13 years 7 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
ICC
2009
IEEE
115views Communications» more  ICC 2009»
14 years 1 months ago
Peer-to-Peer Application Recognition Based on Signaling Activity
—Because of the enormous growth in the number of peer-to-peer (P2P) applications in recent years, P2P traffic now constitutes a substantial proportion of Internet traffic. The ...
Chen-Chi Wu, Kuan-Ta Chen, Yu-Chun Chang, Chin-Lau...