926 search results - page 157 / 186 » Prolog as the First Programming Language |
104
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
123
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
121
click to vote
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
How suitable is a Python-based CS1 course as preparation for a C++-based CS2 course? After fifteen years of using C++ for both CS1 and CS2, the Computer Science Department at Mich...
200
Voted
ICSE
2012
IEEE-ACM
13 years 4 months ago
2012
IEEE-ACM
—Software logging is a conventional programming practice. While its efficacy is often important for users and developers to understand what have happened in the production run, ...
154
Voted
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...