9310 search results - page 1452 / 1862 » User interface continuations |
208
click to vote
JIPS
2006
15 years 6 months ago
2006
: Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for ubiquitous network environments. Ubiquitous computing provide...
176
click to vote
JSAC
2006
15 years 6 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...
165
click to vote
JSS
2006
15 years 6 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
188
click to vote
NAR
2008
15 years 6 months ago
2008
TreeFam (http://www.treefam.org) was developed to provide curated phylogenetic trees for all animal gene families, as well as orthologue and paralogue assignments. Release 4.0 of ...
171
click to vote
NAR
2008
15 years 6 months ago
2008
ENDEAVOUR (http://www.esat.kuleuven.be/endeavour web; this web site is free and open to all users and there is no login requirement) is a web resource for the prioritization of ca...