7773 search results - page 337 / 1555 » On generalized Frame-Stewart numbers |
128
Voted
ISSTA
2006
ACM
16 years 19 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
172
click to vote
MMSEC
2006
ACM
16 years 19 days ago
2006
ACM
With the advent of sophisticated and low-cost video editing software, it is becoming increasingly easier to tamper with digital video. In addition, an ever-growing number of video...
162
click to vote
MOBICOM
2006
ACM
16 years 19 days ago
2006
ACM
Broadcast transmissions are the predominate form of network traffic in a VANET. However, since there is no MAC-layer recovery on broadcast frames within an 802.11-based VANET, th...
155
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
151
click to vote
ACSC
2005
IEEE
16 years 9 days ago
2005
IEEE
We examine the robustness of critical infrastructure networks in the face of terrorist attack, using a simulation experiment that incorporates link capacity; and an extension of d...