769 search results - page 75 / 154 » The Real-Time Specification for Java |
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
We describe the use of compact support radial basis functions (CSRBFs) for simulation of soft tissue deformation. CSRBFs allow surface and volumetric deformations to be computed i...
MMNS
2003
13 years 11 months ago
2003
Streaming multimedia applications, such as video on demand or conferencing are increasingly deployed in heterogeneous and mobile environments including Workstations, PDAs, mobile p...
CASE
2011
12 years 9 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
ICOODB
2009
13 years 7 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
FMCO
2006
Springer
14 years 1 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...