Sciweavers

CJ
2004
141views more  CJ 2004»
13 years 4 months ago
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
Andrea Bondavalli, Roberto Filippini
IJEB
2007
65views more  IJEB 2007»
13 years 4 months ago
Adoption of ICT among small business: vision vs. reality
: The aim of this paper is to present a case study of the adoption of Information and Communication Technologies (ICT) among 6000 small businesses within a locality of Greater Manc...
Yin Leng Tan, Linda A. Macaulay
SIGCSE
2008
ACM
132views Education» more  SIGCSE 2008»
13 years 4 months ago
A case study of retention practices at the University of Illinois at Urbana-Champaign
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
Tanya L. Crenshaw, Erin W. Chambers, Heather Metca...
JKM
2006
131views more  JKM 2006»
13 years 4 months ago
Citizen participation in decision-making processes: knowledge sharing in knowledge cities
Purpose
Michal Goldberg, Edna Pásher, Maya Levin-Sa...
EG
2007
126views more  EG 2007»
13 years 4 months ago
E-government: an e-reverse auction case study
This paper presents the findings from an exploratory in-depth case study with regard to eReverse Auctions (eRAs) in the UK public sector. These findings highlight that eRAs can im...
Steve Jones, Ray Hackney, Zahir Irani
INFSOF
2008
108views more  INFSOF 2008»
13 years 4 months ago
Effectively utilizing project, product and process knowledge
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
Christof Ebert, Jozef De Man
ENTCS
2006
131views more  ENTCS 2006»
13 years 4 months ago
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...
Sean McLaughlin, Clark Barrett, Yeting Ge
ENGL
2006
84views more  ENGL 2006»
13 years 4 months ago
A framework for neural network to make business forecasting with hybrid VAR and GA components
Applying Vector Autoregression (VAR) and genetic algorithm (GA) in hybrid systems with neural network can improve the NN's prediction capability. Two case studies have been ca...
Sio Iong Ao
CAI
2006
Springer
13 years 4 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
FAC
2008
80views more  FAC 2008»
13 years 4 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...