10392 search results - page 1778 / 2079 » Introduction to Computer Science |
194
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
199
click to vote
LICS
2006
IEEE
16 years 20 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
172
click to vote
ACMDIS
2006
ACM
16 years 19 days ago
2006
ACM
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
209
click to vote
ITICSE
2006
ACM
16 years 18 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
185
click to vote
ITICSE
2006
ACM
16 years 18 days ago
2006
ACM
Phishing, e-mails sent out by hackers to lure unsuspecting victims into giving up confidential information, has been the cause of countless security breaches and has experienced i...