Sciweavers

2920 search results - page 382 / 584
» Finite information logic
Sort
View
CISIS
2009
IEEE
15 years 11 months ago
The Role of Service Oriented Architecture in Telemedicine Healthcare System
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
Asadullah Shaikh, Muniba Shoukat Memon, Nasrullah ...
HT
2000
ACM
15 years 11 months ago
Arguments in hypertext: a rhetorical approach
The qualities of non-sequentiality that make hypertext so appealing to writers and readers of informative and literary texts are also those that problematize arguments in the same...
Locke M. Carter
DAWAK
2000
Springer
15 years 11 months ago
Data Mining Support in Database Management Systems
Abstract. The most popular data mining techniques consist in searching databases for frequently occurring patterns, e.g. association rules, sequential patterns. We argue that in co...
Tadeusz Morzy, Marek Wojciechowski, Maciej Zakrzew...
CAISE
1999
Springer
15 years 11 months ago
A Multilevel Secure Workflow Management System
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...
Myong H. Kang, Judith N. Froscher, Amit P. Sheth, ...
EKAW
1999
Springer
15 years 11 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen