4350 search results - page 551 / 870 » Case studies for contract-based systems |
149
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
155
click to vote
DSD
2006
IEEE
16 years 27 days ago
2006
IEEE
Networks-on-chip (NoC) are a scalable interconnect solution for systems on chip and are rapidly becoming reality. Monitoring is a key enabler for debugging or performance analysis...
159
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
153
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper develops a new framework for explaining the dynamic aspects of business models in value webs. As companies move from research to roll-out and maturity three forces caus...
169
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Digital government is a complex organizational and social phenomenon. It involves technical, organizational, and policy elements, as well as their complex and recursive interactio...