7840 search results - page 501 / 1568 » On generalized Ramsey numbers |
145
click to vote
ISSTA
2006
ACM
16 years 1 months 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...
181
click to vote
MMSEC
2006
ACM
16 years 1 months 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...
180
click to vote
MOBICOM
2006
ACM
16 years 1 months 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...
174
click to vote
SAC
2006
ACM
16 years 1 months 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 ...
163
click to vote
ACSC
2005
IEEE
16 years 25 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...