3275 search results - page 390 / 655 » Issues in Communication Game |
200
click to vote
SDL
2001
15 years 8 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
185
click to vote
PST
2004
15 years 8 months ago
2004
Driven by the ubiquitous deployment of mobile systems, the widespread use of the Internet, the rapid advances in wireless technologies, the insatiable demand for high-speed interac...
149
click to vote
TNC
2004
15 years 8 months ago
2004
Mobility support in IPv6 networks is ready for release as an RFC, stimulating major discussions on improvements to meet real-time communication requirements. Sprawling hot spots o...
185
click to vote
ISPE
2003
15 years 8 months ago
2003
: Currently computers are changing from single isolated devices to entry points into a world wide network of information exchange and business transactions called the World Wide We...
189
click to vote
NAACL
2003
15 years 8 months ago
2003
This demonstration involves two-way automatic speechto-speech translation on a consumer off-the-shelf PDA. This work was done as part of the DARPA-funded Babylon project, investig...