13397 search results - page 2612 / 2680 » From Static Distributed Systems to Dynamic Systems |
122
Voted
ASE
2005
15 years 15 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
120
Voted
BMCBI
2005
15 years 15 days ago
2005
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...
111
Voted
JPDC
2007
15 years 15 days ago
2007
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
CCR
2002
15 years 13 days ago
2002
This paper presents a detailed analysis of traces of DNS and associated TCP traffic collected on the Internet links of the MIT Laboratory for Computer Science and the Korea Advance...
119
click to vote
TSE
1998
15 years 7 days ago
1998
— Modern networks provide a QoS (quality of service) model to go beyond best-effort services, but current QoS models are oriented towards low-level network parameters (e.g., band...