Sciweavers

82 search results - page 8 / 17
» KEMM: A Knowledge Engineering Methodology in the Medical Dom...
Sort
View
JOT
2008
124views more  JOT 2008»
13 years 7 months ago
Methodological Proposal for Business Process Management sustained in the use of Patterns
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
Pedro Bonillo, Nancy Zambrano, Alecia Eleonora Aco...
GIS
2008
ACM
14 years 8 months ago
Geospatial information integration based on the conceptualization of geographic domain
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
Miguel Torres, Serguei Levachkine, Rolando Quinter...
TPHOL
1998
IEEE
13 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
FLAIRS
2004
13 years 9 months ago
Characterizing Quality of Knowledge on Semantic Web
The Semantic Web is intended for knowledge sharing among agents as well as humans. To achieve this goal, Ontologies, which express knowledge in a certain vitality as well as in a ...
Kaustubh Supekar, Chintan Patel, Yugyung Lee
IHI
2010
149views Healthcare» more  IHI 2010»
13 years 2 months ago
Intelligent personal health record: experience and open issues
Web-based personal health records (PHRs) are under massive deployment. To improve PHR's capability and usability, we previously proposed the concept of intelligent PHR (iPHR)...
Gang Luo, Chunqiang Tang, Selena B. Thomas