4356 search results - page 758 / 872 » Communicating Transactions - (Extended Abstract) |
153
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Wireless infrastructures can be conveniently categorized into two types: those that provide point-to-point `unicast' connectivity (e.g., cellular) and others that ar...
177
click to vote
VLC
2008
15 years 6 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
187
click to vote
MAGS
2007
15 years 6 months ago
2007
A protein is identified by a finite sequence of amino acids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting...
191
click to vote
COMCOM
2004
15 years 6 months ago
2004
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
176
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...