Sciweavers

3902 search results - page 575 / 781
» Hardware Synthesis from C C Models
Sort
View
CE
2007
101views more  CE 2007»
15 years 6 months ago
Empirical examination of the adoption of WebCT using TAM
Web Course Tools (WebCT) have enhanced the ability and motivation of institutes of higher education to support e-learning. In this study, we extended the Technology Acceptance Mod...
E. W. T. Ngai, J. K. L. Poon, Y. H. C. Chan
COMCOM
2004
84views more  COMCOM 2004»
15 years 6 months ago
A dynamic pricing scheme for e-content at multiple levels-of-service
Businesses selling multimedia rich software or e-content are growing in the Internet. The e-content can be downloaded or streamed immediately after an on-line transaction. Since I...
Srinivasan Jagannathan, Kevin C. Almeroth
CPHYSICS
2004
79views more  CPHYSICS 2004»
15 years 6 months ago
Hybrid kinetic-MHD simulations in general geometry
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
Charlson C. Kim, Carl R. Sovinec, Scott E. Parker
IANDC
2000
64views more  IANDC 2000»
15 years 6 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 6 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....