3443 search results - page 191 / 689 » More Algebras for Determiners |
101
Voted
LCN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes an apparatus which can be used to vary communication performance parameters for MPI applications, and provides a tool to analyze the impact of communication p...
109
Voted
VISSOFT
2002
IEEE
15 years 5 months ago
2002
IEEE
For users who peruse the World Wide Web to locate potentially useful security-related tools, the typical information contained in most sites - a pointer to the tool and, optionall...
87
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
90
Voted
MMB
1999
Springer
15 years 5 months ago
1999
Springer
Auctions are a widely used approach for determining the current market price for congested resources. However, using them for real systems, such as the Internet, the auction algor...
119
Voted
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
We investigate the problem of routing connections with QoS requirements across one or more networks, when the information available for making routing decisions is inaccurate and ...