10916 search results - page 1998 / 2184 » On Constructive Connectives and Systems |
170
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...
188
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
219
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Wireless sensor networks have become a promising technology in monitoring physical world. In many applications with wireless sensor networks, it is essential to understand how w...
169
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
— We seek a simple model that describes how market forces acting on rational players result in the evolution of the multi-faceted topology of the Internet that we see today. We m...
173
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...