5398 search results - page 259 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
160
click to vote
WETICE
2006
IEEE
16 years 20 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
187
click to vote
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
182
click to vote
INFOCOM
2006
IEEE
16 years 20 days ago
2006
IEEE
— This paper presents a scalable and flexible system for explicit rate congestion control in Multi-Protocol Label Switched networks. Resource Reservation Protocol is used to sign...
165
click to vote
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
187
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Although the ever growing Web contain information to virtually every user’s query, it does not guarantee effectively accessing to those information. In many situations, the user...