Sciweavers

IFIP
1994
Springer
13 years 8 months ago
Modeling Motion Simulation with DEDS
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
J. T. F. Camargo, Léo Pini Magalhães...
IFIP
1994
Springer
13 years 8 months ago
Logic Programming: The Evolving Algebra Approach
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
Egon Börger
IFIP
1994
Springer
13 years 8 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich
IFIP
1994
Springer
13 years 8 months ago
Reflections on Security of Database and Datatransfer Systems in Health Care
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
Joachim Biskup, Gerrit Bleumer
IFIP
1994
Springer
13 years 8 months ago
Factorizing Languages
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
Marcella Anselmo, Antonio Restivo