rafaeldff + systems + theory   6

Linearizability versus Serializability | Peter Bailis
RT @pbailis: I wrote a quick post (with some extra notes) on the differences between linearizability and serializability:
distributed  distributedsystems  systems  theory  serializable  serializability  linearizability  cap  acid  transaction  transactions  db  peterbailis 
september 2014 by rafaeldff
Theories Used in IS Research
"This site provides researchers with summarized information on theories widely used in IS [Information Systems] research. [Including] details about the theory, some examples of IS papers using the theory, and links to related sites"
site  page  catalog  compendium  IS  information  InformationSystems  system  systems  YorkU  York  theory  research  theories  reference  informationscience  academic  portal  social  science  usability  interaction  psychology  cognitive  cognition  sociology  linguistics  ScottSchneberger  MikeWade 
october 2007 by rafaeldff
Practical Foundations of Mathematics
Full-version (html) of a book covering logic, set theory, category theory, etc
PaulTaylor  book  online  mathematics  math  proof  formal  formalism  logic  set  theory  SetTheory  free  systems  system  foundations  category  CategoryTheory  Cambridge. 
june 2006 by rafaeldff

Copy this bookmark: