352 search results - page 66 / 71 » Model-Based Development: Combining Engineering Approaches an... |
163
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
OTM
2009
Springer
15 years 4 months ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...
173
click to vote
GIS
2007
ACM
15 years 10 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...
103
click to vote
MM
2004
ACM
15 years 2 months ago
2004
ACM
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
153
click to vote
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...