2794 search results - page 136 / 559 » A New Architecture for Automated Modelling |
DAC
2003
ACM
16 years 15 days ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
WETICE
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
FLAIRS
2007
15 years 1 months ago
2007
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
SIGGRAPH
1998
ACM
15 years 3 months ago
1998
ACM
In this paper, we present a new approach to producing photorealistic computer renderings of real architectural scenes under novel lighting conditions, such as at different times o...