Sciweavers

2004 search results - page 114 / 401
» Comparison of Model Checking Tools for Information Systems
Sort
View
ISSTA
2006
ACM
15 years 11 months ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...
AUSDM
2006
Springer
100views Data Mining» more  AUSDM 2006»
15 years 8 months ago
Data Mining Methodological Weaknesses and Suggested Fixes
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...
John H. Maindonald
EDOC
2007
IEEE
15 years 8 months ago
A Tool for Enterprise Architecture Analysis
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
Pontus Johnson, Erik Johansson, Teodor Sommestad, ...
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
15 years 11 months ago
Understanding the "Boundary" in Information Sharing and Integration
The definition of “boundary” in the context of multiorganizational information sharing and integration initiatives is developed in the paper. Both current literature and a cas...
Lei Zheng, Tung-Mou Yang, Theresa A. Pardo, Yuanfu...
CN
2000
82views more  CN 2000»
15 years 4 months ago
I-Views: a community-oriented system for sharing streaming video on the Internet
Streaming media is pervasive on the Internet now and is continuing to grow rapidly. Most streaming media systems have adopted the model of broadcast. Unfortunately, the nature of ...
Pengkai Pan, Glorianna Davenport