Sciweavers

2794 search results - page 47 / 559
» A New Architecture for Automated Modelling
Sort
View
DAC
2004
ACM
14 years 8 months ago
Abstraction refinement by controllability and cooperativeness analysis
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
Freddy Y. C. Mang, Pei-Hsin Ho
ECSQARU
2001
Springer
14 years 3 days ago
New Semantics for Quantitative Possibility Theory
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
Didier Dubois, Henri Prade, Philippe Smets
CSSE
2008
IEEE
14 years 2 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
DAC
2003
ACM
14 years 8 months ago
A retargetable micro-architecture simulator
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
Wai Sum Mong, Jianwen Zhu
SIGMOD
2005
ACM
169views Database» more  SIGMOD 2005»
14 years 1 months ago
Data and metadata management in service-oriented architectures: some open challenges
Over the last decade, the role of information technology in enterprises has been transforming from one of providing automation services to one of enabling business innovation. ITâ...
Vishal Sikka