2496 search results - page 205 / 500 » Error-detecting properties of languages |
214
Voted
GMAI
2006
IEEE
15 years 10 months 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...
124
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
122
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
138
Voted
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
131
click to vote
ITCC
2005
IEEE
15 years 10 months 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...