805 search results - page 59 / 161 » Integrating Functional and Architectural Views of Reactive S... |
144
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Effective and affordable business process integration is a key concern in the finance industry. A large German joint-use centre, supplying services to 237 individual savings banks...
203
click to vote
CG
2008
Springer
15 years 6 months ago
2008
Springer
As multi-core processor systems become more and more widespread, the demand for efficient parallel algorithms also propagates into the field of computer graphics. This is especial...
180
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
158
click to vote
APCSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Multimedia devices demands a platform integrated various functional modules and an increasing support of multiple standards. Stream architecture is able to solve the problem. Howev...
262
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...