2935 search results - page 551 / 587 » An Integrated Approach to High Integrity Software Verificati... |
228
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
132
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Discovering and unlocking the full potential of complex pervasive environments is still approached in application-centric ways. A set of statically deployed applications often deï...
126
click to vote
MSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Storage systems are the next frontier for providing protection against intrusion. Since storage systems see changes to persistent data, several types of intrusions can be detected...
153
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
151
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...