2409 search results - page 141 / 482 » Logical systems for structured specifications |
165
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
145
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...
153
click to vote
BROADNETS
2005
IEEE
16 years 2 days ago
2005
IEEE
—The peer-to-peer technology offers many advantages, but at the same time, it poses many novel challenges for the research community. Modern peer-to-peer systems are characterize...
158
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
165
click to vote
COLING
1992
15 years 7 months ago
1992
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...