Sciweavers

1147 search results - page 30 / 230
» Task-Structure Analysis for Knowledge Modeling
Sort
View
LPAR
2007
Springer
14 years 1 months ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
14 years 22 days ago
Knowledge-Based IS Implementation Support: An Application to the IS Change Agent Role Problem
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
Meral Binbasioglu, Elaine Winston
CSMR
1999
IEEE
14 years 3 days ago
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
René L. Krikhaar, Maarten Pennings, J. Zonn...
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
14 years 2 months ago
Eliciting Conceptual Models to Support Interdisciplinary Research
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
Pieter J. Beers, Pieter W. G. Bots
WISE
2007
Springer
14 years 2 months ago
Using Ontology with Semantic Web Services to Support Modeling in Systems Biology
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
Zhouyang Sun, Anthony Finkelstein, Jonathan Ashmor...