External Publications

2012 [88]

2011 [136]
2010 [191]

2009 [166]

2008 [191]

2007 [145]

Earlier Publications [788]

Tech Reports

2012 [3]

2011 [4]

2010 [3]

2009 [6]

2008 [8]

2007 [4]

Earlier Tech Reports [197]

Books [8]

JIME

KMi Tools



 

News

 
KMi Publications

Tech Reports

Tech Report kmi-05-06 Abstract


A Complete Axiomatisation of Observation Congruence for Deterministic Time under Maximal Progress
Techreport ID: kmi-05-06
Date: 2005
Author(s): Barry Norton

This report presents a process calculus CaSE, derived from CCS by extension with transitions, labelled in multiple abstract clocks, that are both deterministic and governed by maximal progress. Two open problems in the literature have prevented a complete axiomatisation of the coarsest congruence within weak bisimulation in such a system. The main result contained here is the proof of soundness and completeness of an axiom system with respect to this congruence.
 
KMi Publications
 

Knowledge Management is...


Knowledge Management
Creating learning organisations hinges on managing knowledge at many levels. Knowledge can be provided by individuals or it can be created as a collective effort of a group working together towards a common goal, it can be situated as "war stories" or it can be generalised as guidelines, it can be described informally as comments in a natural language, pictures and technical drawings or it can be formalised as mathematical formulae and rules, it can be expressed explicitly or it can be tacit, embedded in the work product. The recipient of knowledge - the learner - can be an individual or a work group, professionals, university students, schoolchildren or informal communities of interest.
Our aim is to capture, analyse and organise knowledge, regardless of its origin and form and make it available to the learner when needed presented with the necessary context and in a form supporting the learning processes.