Amanote Research
Register
Sign In
A Formal and Practical Framework for Constraint-Based Routing
doi 10.1109/icn.2008.12
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 2008
Authors
Stefano Bistarelli
Francesco Santini
Publisher
IEEE
Related search
A Possibilistic Framework for Constraint-Based Metabolic Flux Analysis
BMC Systems Biology
Molecular Biology
Applied Mathematics
Structural Biology
Simulation
Computer Science Applications
Modeling
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Incremental Constraint-Based Framework for Task and Motion Planning
International Journal of Robotics Research
Electronic Engineering
Mechanical Engineering
Applied Mathematics
Simulation
Electrical
Modeling
Artificial Intelligence
Software
Multiple Constraint Based Routing and Probing in Data Networks
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
A Routing Framework for Delay Tolerant Networks Based on Encounter Angle
A Policy-Based Constraint-Solving Platform Towards Extensible Wireless Channel Selection and Routing
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
