1676 search results - page 163 / 336 » Formal System Development with KIV |
175
click to vote
FOIS
2008
15 years 7 months ago
2008
The goal of the REMINE project is to build a high performance prediction, detection and monitoring platform for managing Risks against Patient Safety (RAPS). Part of the work invol...
179
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
166
click to vote
AIME
2007
Springer
16 years 18 days ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
154
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
164
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...