63 search results - page 8 / 13 » Definability of second order generalized quantifiers |
119
Voted
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...
114
Voted
CCR
2010
14 years 11 months ago
2010
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
100
click to vote
CADE
2008
Springer
15 years 12 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
AO
2006
14 years 11 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
124
Voted
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Database partitioning is a technique for improving the performance of distributed OLTP databases, since “single partition” transactions that access data on one partition do no...