2838 search results - page 335 / 568 » Verifying Controlled Components |
102
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - wh...
RSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
102
Voted
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
93
Voted
CISIS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, a flexible middleware system for omni-directional video transmission for various teleconferencing applications is introduced. The omni-directional image has more ad...
87
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...