3676 search results - page 322 / 736 » Scalable component abstractions |
191
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
198
click to vote
ACSD
2006
IEEE
16 years 26 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
168
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
170
click to vote
ETFA
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
197
click to vote
CBSE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...