3973 search results - page 614 / 795 » Records for Logic Programming |
129
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
132
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The study investigates the impact of weblog use on individual learning in a university environment. Weblogs are a relatively new knowledge sharing technology, which enables people...
129
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...
107
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
124
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...