20126 search results - page 3763 / 4026 » Timed Transition Systems |
131
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Secret sharing algorithms have been used for intrusion tolerance, which ensure the confidentiality, integrity and availability of critical information. However, dynamically changi...
233
click to vote
ISM
2005
IEEE
15 years 9 months ago
2005
IEEE
Broadcasters often reuse video clips while reporting news stories. New clips are added to the story as it develops replacing old clips. A subset of these video clips may be replay...
156
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
159
click to vote
LCN
2005
IEEE
15 years 9 months ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
156
click to vote
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...