16 search results - page 2 / 4 » The mcs-ie System for Explaining Inconsistency in Multi-Cont... |
ECIS
2001
13 years 6 months ago
2001
The literature reports inconsistent findings for the effect of management support on the successful implementation of information systems innovations. This study proposes a contin...
CISIS
2010
IEEE
2010
IEEE
Computational Grid as an Appropriate Infrastructure for Ultra Large Scale Software Intensive Systems
14 years 4 days ago
—Ultra large scale (ULS) systems are future software intensive systems that have billions of lines of code, composed of heterogeneous, changing, inconsistent and independent elem...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
This study surveyed 497 project management software users in a wide variety of project-driven organizations to examine the relationships among: computer self-efficacy, information...
IGPL
2006
13 years 5 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
FM
2003
Springer
13 years 10 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...