3028 search results - page 212 / 606 » Integrating Temporal Logics |
185
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
197
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
200
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
172
click to vote
PRESENCE
2002
15 years 6 months ago
2002
In this paper, we discuss the integration of 2-D video actors into 3-D augmentedreality (AR) systems. In the context of our research on narrative forms for AR, we have found ourse...
225
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...