641 search results - page 68 / 129 » Identifying Contingency Requirements Using Obstacle Analysis |
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we introduce a tool which is capable of verifying an 1149.1 test logic implementation and its compliance to the IEEE 1149.1 Standard [1][2] while providing a precise...
METRICS
2003
IEEE
14 years 2 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
ACSC
2007
IEEE
14 years 1 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
KDD
2007
ACM
14 years 10 months ago
2007
ACM
Users attempt to express their search goals through web search queries. When a search goal has multiple components or aspects, documents that represent all the aspects are likely ...
NSDI
2007
13 years 12 months ago
2007
Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sou...