1536 search results - page 289 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
HICSS
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
APWEB
2010
Springer
14 years 10 days ago
2010
Springer
Abstract. The term Deep Web (sometimes also called Hidden Web) refers to the data content that is created dynamically as the result of a specific search on the Web. In this respec...
ECOOP
2001
Springer
14 years 1 days ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
FAST
2007
13 years 9 months ago
2007
It is estimated that over 90% of all new information produced in the world is being stored on magnetic media, most of it on hard disk drives. Despite their importance, there is re...