3307 search results - page 487 / 662 » The meaning of concurrent programs |
295
Voted
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
176
Voted
IRES
2002
15 years 6 months ago
2002
Building the semantic web encounters problems similar to building large bibliographic systems. The experience of librarianship in controlling large, heterogeneous collections of b...
168
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
Botnets have become a severe threat to the cyberspace. However, existing studies are typically conducted in an ad hoc fashion, by demonstrating specific analysis on captured bot ...
168
Voted
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
229
Voted
CISS
2007
IEEE
16 years 1 months ago
2007
IEEE
—The inherent many-to-one flow of traffic in Wireless Sensor Networks produces a skewed distribution of energy consumption rates leading to the early demise of those sensors that...