Sciweavers

4167 search results - page 602 / 834
» Evolutionary functional testing
Sort
View
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
PUC
2011
15 years 1 months ago
A research methodology for evaluating location aware experiences
Abstract Research field trials of fully functional prototypes of location-based games are an effective way to test game designs and develop an understanding of what makes games co...
Josephine Reid, Richard Hull 0002, Ben J. C. Clayt...
JAM
2010
71views more  JAM 2010»
15 years 1 months ago
On a Hyperbolic Coefficient Inverse Problem via Partial Dynamic Boundary Measurements
This paper is devoted to the identification of the unknown smooth coefficient c entering the hyperbolic equation c(x)2 t u-u = 0 in a bounded smooth domain in Rd from partial (on ...
Christian Daveau, Diane Manuel Douady, Abdessatar ...
PRL
2010
205views more  PRL 2010»
15 years 1 months ago
Mining outliers with faster cutoff update and space utilization
It is desirable to find unusual data objects by Ramaswamy et al's distance-based outlier definition because only a metric distance function between two objects is required. It...
Chi-Cheong Szeto, Edward Hung
TSI
2010
15 years 1 months ago
Greta, une plateforme d'agent conversationnel expressif et interactif
This paper presents a generic ,modular and interactive architecture for embodied conversational agent called Greta. It is 3D agent able to communicate with users using verbal and n...
Etienne de Sevin, Radoslaw Niewiadomski, Elisabett...