631 search results - page 24 / 127 » Why Model |
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
DEXAW
2004
IEEE
14 years 1 months ago
2004
IEEE
: A crucial prerequisite to externalized adaptation is an understanding of how components are interconnected, or more particularly how and why they depend on one another. Such depe...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
While exploring value webs -cooperating enterprises- it is common to view such webs from multiple perspectives: (1) the business value perspective, (2) the business process perspe...
APSEC
2003
IEEE
14 years 1 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...