4350 search results - page 527 / 870 » Case studies for contract-based systems |
172
click to vote
ETFA
2005
IEEE
16 years 15 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 ...
156
click to vote
GLVLSI
2005
IEEE
16 years 15 days ago
2005
IEEE
The ever-increasing number of transistors on a chip has resulted in very large scale integration (VLSI) systems whose performance and manufacturing costs are driven by on-chip wir...
169
click to vote
ICFEM
2004
Springer
16 years 8 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
158
click to vote
DSOM
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Enterprise applications implement business resource management systems, customer relationship management systems, and general systems for commerce. These applications rel...
159
click to vote
FATES
2003
Springer
16 years 3 days ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...