1342 search results - page 55 / 269 » Ordered Programs as Abductive Systems |
ERLANG
2006
ACM
14 years 2 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
IANDC
2006
13 years 8 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
COLING
2002
13 years 8 months ago
2002
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
The rapid increase in the number and variety of consumer-level electronic devices without the corresponding development of device management technology has lead to a configuration ...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Denial-of-Service (DoS) attacks are a major concern for modern distributed applications. They exploit weakness in the software in order to make it unavailable to well-behaved user...