Sciweavers

4940 search results - page 211 / 988
» On the Complexity of Universal Programs
Sort
View
PLILP
1998
Springer
15 years 10 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
ALP
1997
Springer
15 years 10 months ago
Optimal Non-deterministic Functional Logic Computations
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
Sergio Antoy
ACE
2004
221views Education» more  ACE 2004»
15 years 7 months ago
Personal Software Process in the Database Course
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
William I. Bullers Jr.
PDPTA
2003
15 years 7 months ago
Teaching Java Concurrency to CS vs IT Students: A Matter of Emphasis
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
Charles E. Hughes, Marc L. Smith
DOA
2000
102views more  DOA 2000»
15 years 7 months ago
Distributed Xbean Applications
XML has emerged as the universal standard for exchanging and externalizing data. Software products of all kinds are being upgraded to "support XML." Typically this means...
Bruce E. Martin