Sciweavers

1588 search results - page 197 / 318
» Modular action language
Sort
View
ICFEM
1998
Springer
15 years 8 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
MFCS
1998
Springer
15 years 8 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
MOBICOM
1997
ACM
15 years 8 months ago
A Protection Scheme for Mobile Agents on Java
: This paper describes a protection scheme for mobile agents implemented on a Java environment. In this scheme, access to objects is controlled by means of software capabilities th...
Daniel Hagimont, Leila Ismail
150
Voted
KI
1994
Springer
15 years 8 months ago
Combining Spatial and Terminological Reasoning
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
FPL
2006
Springer
208views Hardware» more  FPL 2006»
15 years 7 months ago
Implementation in Fpgas of Jacobi Method to Solve the Eigenvalue and Eigenvector Problem
This work shows a modular architecture based on FPGA's to solve the eigenvalue problem according to the Jacobi method. This method is able to solve the eigenvalues and eigenv...
Ignacio Bravo, Pedro Jiménez, Manuel Mazo, ...