1865 search results - page 207 / 373 » A Rule-Based, Integrated Modelling Approach for Object-Orien... |
140
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
4-D/RCS is the reference model architecture currently being developed for the Demo III Experimental Unmanned Vehicle program. 4-D/RCS integrates the NIST (National Institute of St...
165
click to vote
ICALT
2008
IEEE
16 years 22 days ago
2008
IEEE
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...
146
click to vote
ISVLSI
2007
IEEE
16 years 17 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
199
click to vote
ADVIS
2006
Springer
16 years 8 days ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
152
click to vote
HASE
2007
IEEE
16 years 16 days ago
2007
IEEE
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...