932 search results - page 106 / 187 » Verifying Progress in Timed Systems |
150
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
Online peer-to-peer (P2P) lending services are a new type of social platform that enables individuals borrow and lend money directly from one to another. In this paper, we study t...
114
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
179
click to vote
SIGMOD
1997
ACM
15 years 8 months ago
1997
ACM
Aggregation in traditional database systems is performed in batch mode: a query is submitted, the system processes a large volume of data over a long period of time, and, eventual...
115
click to vote
EMNETS
2007
15 years 8 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
127
click to vote
ICCAD
2001
IEEE
16 years 26 days ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....