3828 search results - page 186 / 766 » Proof-Based System Engineering Using a Virtual System Model |
224
click to vote
TVCG
2012
13 years 8 months ago
2012
—Depth camera such as Microsoft Kinect, is much cheaper than conventional 3D scanning devices, and thus it can be acquired for everyday users easily. However, the depth data capt...
180
click to vote
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...
160
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
197
click to vote
TITS
2011
15 years 1 months ago
2011
—Due to modern pervasive wireless technologies and high-performance monitoring systems, spatio-temporal information plays an important role in areas such as intelligent transport...
174
click to vote
OTM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...