Sciweavers

1098 search results - page 63 / 220
» InPhase: a communication system focused on
Sort
View
CODES
1996
IEEE
14 years 8 days ago
A Model for the Coanalysis of Hardware and Software Architectures
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...
CLIMA
2004
13 years 9 months ago
Fault Tolerant and Fixed Scalable Structure of Middle-Agents
Middle-agents are used by end-agents to locate service providers in multi-agent systems. One central middle-agent represents a single point of failure and communication bottleneck ...
Pavel Tichý
COLING
1996
13 years 9 months ago
Multi-lingual Translation of Spontaneously Spoken Language in a Limited Domain
JANUS is a multi-lingual speech-tospeech translation system designed to facilitate communication between two parties engaged in a spontaneous conversation in a limited domain. In ...
Alon Lavie, Donna Gates, Marsal Gavaldà, La...
JOT
2008
200views more  JOT 2008»
13 years 8 months ago
Applying Model Checking to Concurrent UML Models
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
Patrice Gagnon, Farid Mokhati, Mourad Badri
CCR
2005
126views more  CCR 2005»
13 years 8 months ago
Large scale content distribution protocols
This paper introduces large scale content distribution protocols, which are capable of scaling to massive numbers of users and providing low delay end-to-end delivery. Delivery of...
Christoph Neumann, Vincent Roca, Rod Walsh