9842 search results - page 736 / 1969 » Compositional timing analysis |
174
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
The automatic extraction of sports video highlights is a typical kind of personalized media production process. Many ways have been studied from the viewpoints of lowlevel audio/v...
185
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
- This paper describes the design and fabrication of a low cost, solar powered mobile robot to support a variety of scientific missions on the Antarctic plateau during the austral ...
210
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
219
click to vote
AOSD
2005
ACM
16 years 1 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
204
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...