2004 search results - page 114 / 401 » Comparison of Model Checking Tools for Information Systems |
145
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
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...
143
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
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...
133
click to vote
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
117
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
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...
137
click to vote
CN
2000
15 years 4 months ago
2000
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 ...