3082 search results - page 513 / 617 » Deviation Analysis: A New Use of Model Checking |
138
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
There are various techniques for adapting the transmission rate of an application while maintaining the perceived quality at the receiver at acceptable levels. Shared channel syst...
112
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we study how to refresh a local copy of an autonomous data source to maintain the copy up-to-date. As the size of the data grows, it becomes more difficult to mainta...
114
click to vote
SIGCOMM
1999
ACM
15 years 8 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
108
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
155
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...