10447 search results - page 1790 / 2090 » The Philosophy of Computer Science |
151
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
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...
197
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...
201
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...
174
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...