Sciweavers

7766 search results - page 1158 / 1554
» Testing Nondeterminate Systems
Sort
View
CLEIEJ
2007
94views more  CLEIEJ 2007»
15 years 4 months ago
A Version Control Tool for Framework-based Applications
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
Maria Istela Cagnin, Rosana T. V. Braga, Rosangela...
CN
2007
121views more  CN 2007»
15 years 4 months ago
Symbiotic rate adaptation for time sensitive elastic traffic with interactive transport
—Interactivity in the transport protocol can greatly benefit transport friendly applications generating streaming traffic. Recently we have developed iTCP, which can provide even...
Javed I. Khan, Raid Zaghal
IGPL
2006
110views more  IGPL 2006»
15 years 4 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
IVS
2008
124views more  IVS 2008»
15 years 4 months ago
Mobile analytics for emergency response and training
During emergency response events, situational awareness is critical in effectively managing and safe-guarding civilians and in-field personnel. To better support both command cent...
SungYe Kim, Ross Maciejewski, Karl Ostmo, Edward J...
JCP
2008
157views more  JCP 2008»
15 years 4 months ago
A New Information Fusion Method for Bimodal Robotic Emotion Recognition
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...
Meng-Ju Han, Jing-Huai Hsu, Kai-Tai Song, Fuh-Yu C...
« Prev « First page 1158 / 1554 Last » Next »