22114 search results - page 266 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
175
click to vote
IJEH
2008
2008
Facilitating superior chronic disease management through a knowledge-based systems development model
15 years 7 months ago
To date the adoption and diffusion of technology enabled solutions to deliver better healthcare has been slow. There are many reasons for this. One of the most significant is that...
174
click to vote
BMEI
2008
IEEE
16 years 1 months ago
2008
IEEE
Three types of data modelling technique are applied retrospectively to individual patients’ anticoagulation therapy data to predict their future levels of anticoagulation. The r...
247
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
195
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
210
click to vote
ACSD
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...