Mocha

Known as: Mocha (JavaScript Framework) 
Mocha is a JavaScript test framework running on node.js, featuring browser support, asynchronous testing, test coverage reports, and use of any… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2017
02419882017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Java’s static type system protects against certain runtime errors, but is often unwieldy and repetitive. Type inference gives the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
This paper describes Mocha, an open mobile S/W platform and application developed by Samsung Electronics. Mocha's key features… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Multimedia proxy caching is a client-oriented solution for large-scale delivery of high quality streams over heterogeneous… (More)
  • figure 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper, we report on a recent work for the verification of non-repudiation protocols. We propose a verification method… (More)
Is this relevant?
2000
2000
Introduction MOCHA1 is a novel database middleware system designed to interconnect data sources distributed over a wide area… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
{ For modeling, we replace unstructured state-transition graphs with the heterogeneous modeling framework of reactive modules… (More)
Is this relevant?
1998
1998
  • R. Alur T. Henzingery, F. Mangy, S. Qadeery, S. Rajamaniy, S. Tasirany
  • 1998
We describe a new interactive veriication environment called Mocha for modular veriication of heterogeneous systems. Mocha diiers… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri… (More)
  • table 1
Is this relevant?
1996
1996
We describe the implementation of a new system, called Mocha, for providing algorithm animation over the World Wide Web. Mocha is… (More)
Is this relevant?