5639 search results - page 865 / 1128 » Timed Abstract Non-interference |
114
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract—A challenging aspect of mobile communications consists in exploring ways in which the available run time of terminals can be maximized. In this paper, we present a detai...
116
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract—The innovative techniques of TCP Vegas have been the subject of much debate in recent years. Several studies have reported that TCP Vegas provides better performance tha...
155
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
138
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
ASSETS
2000
ACM
15 years 7 months ago
2000
ACM
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...