684 search results - page 10 / 137 » Model Bus: Towards the Interoperability of Modelling Tools |
ICCAD
1998
IEEE
14 years 1 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
CAEPIA
2003
Springer
14 years 2 months ago
2003
Springer
This paper describes how agent and knowledge technology can be used to build advanced software systems that support operational decisionn complex domains. In particular, we present...
ICCD
1995
IEEE
14 years 10 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
ISQED
2003
IEEE
14 years 2 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...