13383 search results - page 2654 / 2677 » Abstractions from proofs |
141
Voted
FIRSTMONDAY
2010
15 years 26 days ago
2010
Abstract. Gullibility is the principal cause of bubbles. Investors and the general public get snared by a "beautiful illusion" and throw caution to the wind. Attempts to ...
160
Voted
GLOBECOM
2010
IEEE
15 years 25 days ago
2010
IEEE
Abstract--Wireless networks, especially mobile ad hoc networks (MANET) and cognitive radio networks (CRN), are facing two new challenges beyond traditional random network model: op...
162
Voted
IPPS
2010
IEEE
15 years 23 days ago
2010
IEEE
Abstract--With the development of high-performance computing, I/O issues have become the bottleneck for many massively parallel applications. This paper investigates scalable paral...
126
Voted
BIRTHDAY
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
167
Voted
CORR
2010
Springer
15 years 6 days ago
2010
Springer
Abstract--Intentional interference constitutes a major threat for communication networks operating over a shared medium where availability is imperative. Jamming attacks are often ...