4349 search results - page 716 / 870 » A Comprehensive Process Model for Studying Software Process ... |
CONCUR
2009
Springer
14 years 8 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
VLDB
1998
ACM
15 years 2 months ago
1998
ACM
Approximate predicates can be used to reduce the number of comparisons made by expensive, complex predicates. For example, to check if a point is within a region (expensive predic...
RECOMB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Despite the desirable information contained in complex pedigree datasets, analysis methods struggle to efficiently process these datasets. The attractiveness of pedigree ...
84
Voted
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
: The packet is the fundamental unit of transportation in modern communication networks such as the Internet. Physical layer scheduling decisions are made at the level of packets, ...
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...