2203 search results - page 292 / 441 » Temporal Abstract Interpretation |
131
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
107
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
127
Voted
DAGM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...
137
Voted
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
177
Voted
MM
1993
ACM
15 years 7 months ago
1993
ACM
Abstract–Video-on-demand represents a key demonstrative application for enabling multimedia technology in communication, database, and interface research. This application requir...