1126 search results - page 38 / 226 » Architectural and Analytic Integration of Cyber-Physical Sys... |
183
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
190
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
Integrating enterprise information requires an accurate, precise and complete understanding of the disparate data sources, the needs of the information consumers, and how these ma...
166
click to vote
CAISE
2009
Springer
16 years 17 days ago
2009
Springer
Meta models are the core of enterprise architecture, but still few methods are available for the creation of meta models tailored for specific purposes. This paper presents two app...
145
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Integration of Web search with geographic information has recently attracted much attention. There are a number of local Web search systems enabling users to find locationspecific...
154
click to vote
ICDCS
2003
IEEE
2003
IEEE
An Integrated Resource Sharing Policy for Multimedia Storage Servers Based on Network-Attached Disks
15 years 11 months ago
In this paper, we propose using the network-attached disk (NAD) architecture to design highly scalable and cost-effective multimedia-on-demand (MOD) servers. In order to ensure en...