Sciweavers

8928 search results - page 591 / 1786
» Modeling Current Events
Sort
View
315
Voted
AIFIPP
1992
15 years 8 months ago
Task-Structure Analysis for Knowledge Modeling
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
B. Chandrasekaran, Todd R. Johnson, Jack W. Smith
WCE
2007
15 years 8 months ago
Performing Early Feasibility Studies of Software Development Projects Using Business Process Models
—A new approach to perform feasibility studies using business process models is proposed. The utilization of the improved Role Activity Diagram notations has led to the extractio...
Ayman Issa, Faisal A. Abu Rub
189
Voted
ENTCS
2008
94views more  ENTCS 2008»
15 years 7 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
SAJ
2002
97views more  SAJ 2002»
15 years 7 months ago
PrivGuard : a model to protect private information based on its usage
No reliable method currently exists to safeguard the privacy of private information. Privacy policies are insufficient as compliance can not be enforced automatically. In this pap...
Frans A. Lategan, Martin S. Olivier
173
Voted
PUC
2008
106views more  PUC 2008»
15 years 6 months ago
Investigating five key predictive text entry with combined distance and keystroke modelling
This paper investigates text entry on mobile devices using only five-key. Primarily to support text entry on smaller devices than mobile phones, this method can also be used to max...
Mark D. Dunlop, Michelle Montgomery Masters