1724 search results - page 221 / 345 » Industrial applications |
196
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
178
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The main barriers to the level of electronic data interchange required to seamlessly integrate services offered by legacy systems in an Internet environment are the need for appli...
219
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
185
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
160
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...