1755 search results - page 248 / 351 » Knowledge Representation in Process Engineering |
SCAM
2008
IEEE
14 years 5 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
ASWEC
2008
IEEE
14 years 5 months ago
2008
IEEE
Software developers’ work is much more interesting and multifarious in practice than formal definitions of software development processes imply. Rational models of work are ofte...
ICSE
1995
IEEE-ACM
14 years 2 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...