1188 search results - page 105 / 238 » Generating Connectives |
137
click to vote
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
111
click to vote
ETFA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
117
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
117
Voted
SAINT
2006
IEEE
15 years 9 months ago
2006
IEEE
To increase the accessibility and usability of online language services, this paper proposes the language grid to create composite language services for various communities. The l...
152
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
Although English has become the standard language in various areas, most people do not use it in local activities. To increase the mutual understanding of different cultures with ...