11168 search results - page 291 / 2234 » Abstract State Processes |
297
click to vote
FODO
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
191
click to vote
BPSC
2007
15 years 8 months ago
2007
More than ever, computing devices are becoming more powerful and networked, organizational boundaries are dissolving, and underlying information systems become more complex, thus r...
216
click to vote
ACL
1992
15 years 8 months ago
1992
We developed a fully automated Information Retrieval System which uses advanced natural language processing techniques to enhance the effectiveness of traditional key-word based d...
242
click to vote
AMAST
2004
Springer
16 years 14 days ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
164
click to vote
VMCAI
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...