2859 search results - page 333 / 572 » A Programming Environment for Bousi-Prolog |
164
click to vote
C5
2008
IEEE
16 years 1 months ago
2008
IEEE
Introducing technology as a sustainable means of creating, connecting, and collaborating introduces the need to carefully consider subtle aspects of deployment strategies and supp...
213
click to vote
SP
2007
IEEE
16 years 27 days ago
2007
IEEE
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
139
click to vote
UIST
2005
ACM
16 years 5 days ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...
216
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
208
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...