6020 search results - page 1104 / 1204 » A New Approach to Model Counting |
147
Voted
DSN
2009
IEEE
15 years 2 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
155
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
163
click to vote
ICUMT
2009
15 years 2 months ago
2009
This paper introduces a Combinatory Optimization Problem (COP) which captures the performance in cooperation of a P2P Streaming Network, considered at the buffer level. A new famil...
143
Voted
ELECTRONICMARKETS
2010
15 years 1 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
156
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...