Sciweavers

2056 search results - page 85 / 412
» Mobile objects in Java
Sort
View
166
Voted
ESOP
2005
Springer
15 years 8 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
IPPS
2002
IEEE
15 years 7 months ago
JMPI: Implementing the Message Passing Standard in Java
The Message Passing Interface (MPI) standard provides a uniform Application Programmers Interface (API) that abstracts the underlying hardware from the parallel applications. Rece...
Steven Morin, Israel Koren, C. Mani Krishna
111
Voted
FASE
2001
Springer
15 years 7 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
138
Voted
JTRES
2010
ACM
15 years 2 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
151
Voted
IJSR
2010
150views more  IJSR 2010»
15 years 1 months ago
Real-time Motion Tracking from a Mobile Robot
— A mobile robot needs to perceive the motions of external objects to perform tasks successfully in a dynamic environment. We propose a set of algorithms for multiple motion trac...
Boyoon Jung, Gaurav S. Sukhatme