2859 search results - page 275 / 572 » A Programming Environment for Bousi-Prolog |
157
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
158
click to vote
WMTE
2006
IEEE
16 years 20 days ago
2006
IEEE
Practitioners interested in integrating mobile technology effectively into distance learning programs need to consider both the benefits and limitations of such devices. This pape...
169
click to vote
WCAE
2006
ACM
16 years 18 days ago
2006
ACM
At Northeastern University we are building a number of courses upon a common embedded systems platform. The goal is to reduce the learning curve associated with new architectures ...
199
click to vote
ISSRE
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
164
click to vote
SP
2005
IEEE
16 years 7 days ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...