7167 search results - page 329 / 1434 » A Technique for Invariant Generation |
239
click to vote
ADHOCNETS
2009
Springer
15 years 10 months ago
2009
Springer
This paper is a sequel of previous work, in which we have studied the traffic management problem in UMTS. The main objective was to improve the spectral efficiency of cellular netw...
186
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Pathogen detection using DNA microarrays has the potential to become a fast and comprehensive diagnostics tool. However, since pathogen detection chips currently utili...
224
click to vote
CCR
2005
15 years 7 months ago
2005
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...
194
click to vote
CGF
1999
15 years 7 months ago
1999
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...
227
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...