4328 search results - page 201 / 866 » A New Kind of Science |
194
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
Organizations are increasingly using cross-functional project teams to increase flexibility. The belief is that individuals will be able to share and combine their different knowl...
172
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
Every day, businesses are threatened by crises that could have been prevented or their impact lessened if only knowledge of causal and influencing factors were known and better ma...
172
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
278
click to vote
ITICSE
2005
ACM
16 years 7 days ago
2005
ACM
This paper describes the ļ¬rst version of P (read āP ļ¬atā), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
145
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...