4211 search results - page 736 / 843 » Types as Abstract Interpretations |
126
click to vote
MKWI
2008
15 years 5 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
109
click to vote
MASCOTS
2007
15 years 5 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
113
click to vote
SEC
2008
15 years 5 months ago
2008
Abstract Most organisations have recently converted their physical assets into digital forms. This underlines the needs to have different types of software products to manage such ...
144
click to vote
NIPS
2007
15 years 5 months ago
2007
A non–linear dynamic system is called contracting if initial conditions are forgotten exponentially fast, so that all trajectories converge to a single trajectory. We use contra...
137
Voted
SIROCCO
2007
15 years 5 months ago
2007
Abstract. The problem we consider originates from the design of efficient on-board networks in satellites (also called Traveling Wave Tube Amplifiers). Signals incoming in the net...