Sciweavers

5726 search results - page 223 / 1146
» Supporting annotations on relations
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
15 years 14 days ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
77
Voted
WEBI
2004
Springer
15 years 6 months ago
Web-based Agricultural Support Systems
Agriculture is a complicated system, related to a wide range of environments, which is difficult to deal with perfectly. Web-based agricultural support system (WASS) has been prop...
Yuegao Hu, Zhi Quan, Yiyu Yao
126
Voted
ASWC
2009
Springer
15 years 7 months ago
Supporting the Development of Data Wrapping Ontologies
Abstract. We consider the problem of designing data wrapping ontologies whose purpose is to describe relational data sources and to provide a semantically enriched access to the un...
Lina Lubyte, Sergio Tessaris
96
Voted
CANDC
2009
ACM
15 years 7 months ago
RiTa: creativity support for computational literature
The RiTa Toolkit for Computation Literature is a suite of open-source components, tutorials, and examples, providing support for a range of tasks related to the practice of creati...
Daniel C. Howe
APCHI
2004
IEEE
15 years 4 months ago
Supporting Work Activities in Healthcare by Mobile Electronic Patient Records
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...
Jesper Kjeldskov, Mikael B. Skov