247 search results - page 43 / 50 » Development graphs - Proof management for structured specifi... |
84
Voted
CRITIS
2007
14 years 11 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
123
click to vote
WEBNET
2001
14 years 11 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
VCIP
2003
14 years 11 months ago
2003
In this paper, we proposed a content-based multimedia analysis/retrieval system basing mainly on the MPEG-7 defined features. Some new and specific features are also included for ...
VDB
1998
14 years 11 months ago
1998
In this paper we discuss how metaphors for supporting user interaction with multimedia databases can be automatically generated. The work presented is a further step in the develo...
JOT
2006
14 years 9 months ago
2006
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...