5398 search results - page 206 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
167
click to vote
AAAI
2004
15 years 8 months ago
2004
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
339
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
160
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
158
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
148
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
As more and more organisations and institutions are moving towards the e-learning strategy, more and more disparate data are distributed by different e-learning systems. How to ef...