DANCE 2002 - PDF Preprint Papers

DANCE 2002 DARPA Active Networks Conference and Exposition

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DANCE-2002 Paper

click to vote

DANCE
2002
IEEE

192views Computer Networks» more DANCE 2002»

Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks

14 years 5 months ago

Download heim.ifi.uio.no

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...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	192	Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks	claim
2	178	Active Network Monitoring and Control: The SENCOMM Architecture and Implementation	claim
3	174	Active Names: Flexible Location and Transport of Wide-Area Resources	claim
4	166	Active Network Vision and Reality: Lessons from a Capsule-Based System	claim
5	164	A Framework for Building Complex Netcentric Systems on Active Network	claim
6	163	Design and Evaluation of a High Performance Dynamically Extensible Router	claim
7	162	Modeling CPU Demand in Heterogeneous Active Networks	claim
8	160	SANDS: Specialized Active Networking for Distributed Simulation	claim
9	154	Experience with Active Congestion Control	claim
10	153	Application Deployment in Virtual Networks Using the X-Bone	claim
11	145	Developing Dynamic Security Policies	claim
12	142	A Secure PLAN	claim
13	139	ActiveCast: Toward Application-Friendly Active Network Services	claim
14	135	An Active Networking Approach to Service Customization	claim
15	131	Experiences with Capsule-Based Active Networking	claim
16	128	Towards Self-Configuring Networks	claim
17	125	The RadioActive Networking Architecture	claim
18	125	Janos: A Java-Oriented OS for Active Network Nodes	claim
19	124	The ASP EE: An Active Network Execution Environment	claim
20	112	Towards an Active Network Architecture	claim
21	109	Practical Active Network Services within Content-Aware Gateways	claim
22	105	Panda: Middleware to Provide the Benefits of Active Networks to Legacy Applications	claim
23	103	Enabling Active Flow Manipulation in Silicon-Based Network Forwarding Engines	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers