Sciweavers

1154 search results - page 154 / 231
» Case Study: Software Product Integration Practices
Sort
View
135
Voted
IJEB
2007
127views more  IJEB 2007»
15 years 3 months ago
Factors mediating the routinisation of e-learning within a traditional university education environment
Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
Shafqat Hameed, John Mellor, Atta Badii, Niyati Pa...
116
Voted
ATAL
2006
Springer
15 years 7 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
SIGIR
2006
ACM
15 years 9 months ago
Identifying comparative sentences in text documents
This paper studies the problem of identifying comparative sentences in text documents. The problem is related to but quite different from sentiment/opinion sentence identification...
Nitin Jindal, Bing Liu
157
Voted
VMCAI
2009
Springer
15 years 10 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
108
Voted
ECIS
2004
15 years 4 months ago
Consequences of implementing knowledge management initiatives in different organizational subcultures
Organizations implementing knowledge management (KM) initiatives are concerned with promoting sharing and transferring of knowledge, within and across different organizational uni...
Ravi Shankar Mayasandra, Shan Ling Pan