2935 search results - page 148 / 587 » An Integrated Approach to High Integrity Software Verificati... |
199
click to vote
VLDB
2000
ACM
15 years 10 months ago
2000
ACM
Multidimensional access methods have shown high potential for significant performance improvements in various application domains. However, only few approaches have made their way...
212
click to vote
AAAI
1998
15 years 7 months ago
1998
The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
155
click to vote
AINA
2006
IEEE
16 years 17 days ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...
150
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes the motivations, methods, and solution concepts for the use of ontologies for simulation model integration. Ontological analysis has been shown to be an effec...
171
click to vote
WSC
1997
15 years 7 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...