1720 search results - page 242 / 344 » eg 2008 |
CONCUR
2008
Springer
14 years 11 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
Today, a large body of research exists regarding the correctness of routing protocols. However, many reported global disruptions of Internet connectivity, e.g., inter-AS persisten...
100
click to vote
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
The Locator/Identifier Separation Protocol (LISP) is one of the candidate solutions to address the scalability issues in inter-domain routing. The current proposals for its contro...
COST
2008
Springer
14 years 11 months ago
2008
Springer
The quality of static phones (e.g. vowels, fricatives, nasals, laterals) generated by articulatory speech synthesizers has reached a high level in the last years. Our goal is to ex...