621 search results - page 19 / 125 » Identifying the (Tele)Presence Literature |
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
CP
2008
Springer
13 years 9 months ago
2008
Springer
We present new results in crossword composition, showing that our program significantly outperforms previous successful techniques in the literature. We emphasize phase transition ...
IFIP8
1994
13 years 9 months ago
1994
There is now sufficient literature concerning business process reengineering (BPR) to attempt to identify its central tenets. Analysis of these tenets using well-established theor...
IJOE
2008
13 years 7 months ago
2008
In this paper, we provide a literature review of modern remote laboratories. According to this state-of-theart, we explain why remote laboratories are at a technological crossroad,...
EOR
2006
13 years 7 months ago
2006
The consideration of costs, benefits and risks underpin many Information System (IS) evaluation decisions. Yet, vendors and project-champions alike tend to identify and focus much...