675 search results - page 76 / 135 » What Is New in Our City |
AMAI
2008
Springer
15 years 25 days ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
101
click to vote
IANDC
2008
15 years 23 days ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
100
click to vote
CCR
2006
15 years 23 days ago
2006
In this paper we describe a new tool being made available to the networking research community for passive analysis of TCP segment traces. The purpose of the tool is to provide mo...
102
Voted
ENTCS
2006
15 years 22 days ago
2006
New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in al...
106
Voted
JNW
2008
15 years 20 days ago
2008
Wireless sensor networking remains one of the most exciting and challenging research domains of our time. As technology progresses, so do the capabilities of sensor networks. Limit...