Sciweavers

951 search results - page 142 / 191
» Using Domain Ontology as Domain Knowledge for Requirements E...
Sort
View
EWCBR
2006
Springer
15 years 9 months ago
Case-Based Support for Collaborative Business
This paper describes the development of the generic collaboration support architecture CAKE incorporating case-based reasoning (CBR). CAKE provides unified access to knowledge avai...
Ralph Bergmann, Andrea Freßmann, Kerstin Max...
ARTMED
2008
109views more  ARTMED 2008»
15 years 6 months ago
MOPET: A context-aware and user-adaptive wearable system for fitness training
Objective: Cardiovascular disease, obesity, and lack of physical fitness are increasingly common and negatively affect people's health, requiring medical assistance and decre...
Fabio Buttussi, Luca Chittaro
JSW
2008
152views more  JSW 2008»
15 years 5 months ago
Reasoning with Semantic Web Technologies in Ubiquitous Computing Environment
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
WenYing Guo
ASIAN
2005
Springer
178views Algorithms» more  ASIAN 2005»
15 years 11 months ago
An Approach for Service Discovery Based on Semantic Peer-to-Peer
The service discovery is a key step during Peer-to-Peer (P2P) converging with Web Service. In this paper, a semantic-P2P based approach is presented for web service discovery. To e...
Hao Wu, Hai Jin, Yunfa Li, Hanhan Chen
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 11 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...