3983 search results - page 673 / 797 » Conceptual logic programs |
EUROMICRO
1999
IEEE
14 years 4 days ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
BIRTHDAY
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
CAISE
1999
Springer
14 years 3 days ago
1999
Springer
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...
FLOPS
1999
Springer
14 years 3 days ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
LOPSTR
1998
Springer
14 years 1 days ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...