12 papers:
LCT-TRE-2014-Stylianou-GeorgiouPI #education #monitoring #web- Monitoring Teachers’ Complex Thinking while Engaging in Philosophical Inquiry with Web 2.0 (ASG, AP, AI), pp. 319–327.
KEOD-2014-BrucatoD #modelling #ontology #simulation- The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
- DUXU-v1-2011-BeccariO #approach #experience #user interface
- A Philosophical Approach about User Experience Methodology (MNB, TLO), pp. 13–22.
SEFM-2007-CastroM #fault tolerance #logic #reasoning- An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
KR-2002-Nebel- The Philosophical Soccer Player (BN), p. 631.
AdaEurope-1996-Brosgol #ada- The Dining Philosophers in Ada 95 (BMB), pp. 247–261.
TACAS-1995-RoscoeGGHJS #concurrent #csp #how #model checking- Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock (AWR, PHBG, MG, JRH, DMJ, JBS), pp. 133–152.
HT-ECHT-1992-PaoliniP #hypermedia- The Hypermedia Encyclopaedia of Philosophical Sciences (Demonstration) (PP, RP), pp. 290–291.
ICALP-1992-LiV #complexity- Philosophical Issues in Kolmogorov Complexity (ML, PMBV), pp. 1–15.
SLP-1986-ArmstrongEV86 #logic programming #problem- The Phoning Philosopher’s Problem or Logic Programming for Telecommunications Applications (JLA, NAE, RV), pp. 28–33.
POPL-1981-LehmannR #distributed #on the #problem #symmetry- On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (DJL, MOR), pp. 133–138.
DAC-1974-Hassler #automation #database #design- Philosophic comments on data base context and management in design automation (EBHJ), pp. 1–13.
