3971 search results - page 400 / 795 » On the Use of Properties in Java Applications |
265
click to vote
GMAI
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we develop a mathematical model from the theory of plate bending in elasticity which relates physical properties of a surface to its elastic deformation. We present...
157
Voted
ITCC
2005
IEEE
16 years 12 days ago
2005
IEEE
The paper mainly discusses the DRM-enabled learning object model. Firstly, it analyses the art-of-status of Intellectual Property Rights in e-learning. Secondly, according to appl...
158
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
210
click to vote
WCC
2005
Springer
16 years 9 days ago
2005
Springer
Nonlinear n-stage feedback shift-register sequences over the finite field Fq of period qn − 1 are investigated under linear operations on sequences. We prove that all members o...
175
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—The development and deployment of distributed network-aware applications and services require the ability to compile and maintain a model of the underlying network resources wit...