249 search results - page 14 / 50 » Validating Architectural Feature Descriptions using LOTOS |
ISN
1997
Springer
15 years 3 months ago
1997
Springer
: The TINA architecture is emerging as an integrated approach to service and network control and management. The ACTS VITAL project aims to extend and refine the TINA architecture ...
DAGM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we propose a new approach to learn structured visual compound models from shape-based feature descriptions. We use captioned text in order to drive the pro...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Discriminative tracking has become popular tracking methods due to their descriptive power for foreground/background separation. Among these methods, online random forest is recen...
DAC
2001
ACM
16 years 19 days ago
2001
ACM
In this paper, we describe the concept of using an on-chip network as the fundamental communication architecture for a complex SOC design. We describe some of the salient features...
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...