1886 search results - page 142 / 378 » Verifying and Validating Simulation Models |
98
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
116
Voted
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
100
Voted
LREC
2010
15 years 4 months ago
2010
This paper describes the design and collection of NameDat, a database containing English proper names spoken by native Norwegians. The database was designed to cover the typical a...
108
Voted
ICUMT
2009
15 years 10 days ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...
135
Voted
JCIT
2010
14 years 9 months ago
2010
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...