Sciweavers

INFSOF
2010
173views more  INFSOF 2010»
13 years 8 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
INFSOF
2010
118views more  INFSOF 2010»
13 years 8 months ago
Scalability issues with using FSMWeb to test web applications
Anneliese Amschler Andrews, A. Jefferson Offutt, C...
ELECTRONICMARKETS
2010
120views more  ELECTRONICMARKETS 2010»
13 years 8 months ago
Has the web transformed experience goods into search goods?
Klein (Journal of Business Research 41(3): 195
Makoto Nakayama, Norma G. Sutcliffe, Yun Wan
ELECTRONICMARKETS
2010
124views more  ELECTRONICMARKETS 2010»
13 years 8 months ago
The difficulty of studying inter-organisational IS phenomena on large scales: critical reflections on a research journey
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
Kai Reimers, Robert B. Johnston, Stefan Klein
ICSOC
2009
Springer
13 years 8 months ago
Future Research Topics in Enterprise Architecture Management - A Knowledge Management Perspective
Identifying, gathering, and maintaining information on the current, planned, and target states of the architecture of an enterprise is one major challenge of enterprise architectur...
Sabine Buckl, Florian Matthes, Christian M. Schwed...
IC3K
2009
13 years 8 months ago
A Knowledge Management Approach for Industrial Model-based Testing
Dmitrij Koznov, Vasily Malinov, Eugene Sokhransky,...
IC3K
2009
13 years 8 months ago
WebC-Docs - A CMS-based Document Management System
João de Sousa Saraiva, Alberto Rodrigues da...