4810 search results - page 74 / 962 » Modeling Value Speculation |
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
Service-oriented computing provides the right means for building flexible systems that allow dynamic configuration and on-the-fly composition. In order to realize this vision, ...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The objective of this research is to test a model of electronic procurement (e-procurement) adoption behavior by Small- to Medium-sized Enterprises (SME). We investigate the pheno...
JURIX
2007
14 years 11 months ago
2007
In this paper, we model a recent legal case as presented in a court of first instance using argument schemes and an argumentation framework, providing a formal analysis of the cas...
PAKM
2000
14 years 11 months ago
2000
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...