Sciweavers

2909 search results - page 159 / 582
» Consistency of the theory of contexts
Sort
View
CPHYSICS
2008
161views more  CPHYSICS 2008»
15 years 6 months ago
Implementing peridynamics within a molecular dynamics code
Peridynamics (PD) is a continuum theory that employs a nonlocal model to describe material properties. In this context, nonlocal means that continuum points separated by a finite ...
Michael L. Parks, Richard B. Lehoucq, Steven J. Pl...
IJMMS
2006
83views more  IJMMS 2006»
15 years 6 months ago
Understanding e-learning continuance intention: An extension of the Technology Acceptance Model
Based on the expectancy disconfirmation theory, this study proposes a decomposed technology acceptance model in the context of an e-learning service. In the proposed model, the pe...
Juan Carlos Roca, Chao-Min Chiu, Francisco Jos&eac...
TAP
2008
Springer
153views Hardware» more  TAP 2008»
15 years 6 months ago
Bounded Relational Analysis of Free Data Types
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
ISF
2000
103views more  ISF 2000»
15 years 6 months ago
Oracles, Bards, and Village Gossips, or Social Roles and Meta Knowledge Management
Knowledge management systems are used widely in many different organizations, yet there are few models and theories which can be used to help introduce and apply them successfully....
Simon Masterton, Stuart Watt
ISOLA
2010
Springer
15 years 4 months ago
Flow Control with (Min, +) Algebra
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
Euriell Le Corronc, Bertrand Cottenceau, Laurent H...