10159 search results - page 381 / 2032 » System Design Validation Using Formal Models |
140
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
135
click to vote
EFDBS
2003
2003
Building platforms for information system interoperability - using a UML-based metamodeling approach
15 years 5 months ago
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
129
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
118
click to vote
ECIS
2003
15 years 5 months ago
2003
Today, companies and their information systems are facing a very dynamic and fast changing environment. Fast changing demands require varying information in varying places. Users ...
116
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Understanding knowledge transfer using computer-mediated context is becoming essential given that organizations are spread more and more globally. In this paper, we adopt elaborat...