2468 search results - page 411 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
150
Voted
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
125
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
147
Voted
CN
2007
15 years 3 months ago
2007
Distributed denial of service (DDoS) has long been an open security problem of the Internet. Most proposed solutions require the upgrade of routers across the Internet, which is e...
126
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
165
Voted
SIGCOMM
2012
ACM
13 years 5 months ago
2012
ACM
Contact interval between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs), which is important to routing schemes and network capacity. In this work,...