744 search results - page 134 / 149 » Observations on the Decidability of Transitions |
MOBIHOC
2008
ACM
14 years 8 months ago
2008
ACM
Mobile opportunistic networks are characterized by unpredictable mobility, heterogeneity of contact rates and lack of global information. Successful delivery of messages at low co...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
Most modern Chip Multiprocessors (CMP) feature shared cache on chip. For multithreaded applications, the sharing reduces communication latency among co-running threads, but also r...
EDBTW
2010
Springer
14 years 3 months ago
2010
Springer
Requirements for a traffic monitoring system can be very demanding as both privacy and performance aspects have to be taken into account jointly. Moreover, the legislation sets fo...
STACS
2009
Springer
14 years 3 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
COMPLEX
2009
Springer
14 years 3 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...