11395 search results - page 1985 / 2279 » Beyond computer science |
161
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
196
click to vote
LICS
2006
IEEE
16 years 22 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 22 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...
173
click to vote
ACMDIS
2006
ACM
16 years 21 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...
210
click to vote
ITICSE
2006
ACM
16 years 20 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...