3481 search results - page 114 / 697 » Architecture as Object Models of Software |
194
Voted
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
113
click to vote
BVAI
2005
Springer
15 years 10 months ago
2005
Springer
The human capability of recognizing objects visually is here held to be a function emerging as result of interactions between epigenetic influences and basic neural plasticity mec...
169
Voted
DAGSTUHL
2009
15 years 6 months ago
2009
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
152
Voted
DASFAA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
141
Voted
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...