IFIP
1994
Springer
14 years 3 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
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...
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
IFIP
1994
Springer
14 years 3 months ago
1994
Springer
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...
IFIP
1993
Springer
14 years 3 months ago
1993
Springer
IFIP
1993
Springer
14 years 3 months ago
1993
Springer
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
IFIP
1993
Springer
14 years 3 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
ICALP
1994
Springer
14 years 3 months ago
1994
Springer
We describe efficient algorithms for finding even cycles in undirected graphs. Our main results are the following: (i) For every k 2, there is an O(V 2) time algorithm that decide...
ICALP
1994
Springer
14 years 3 months ago
1994
Springer