2672 search results - page 329 / 535 » Hybridizing Concept Languages |
124
Voted
ACISP
1998
Springer
15 years 7 months ago
1998
Springer
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...
125
click to vote
SIGCSE
1996
ACM
15 years 7 months ago
1996
ACM
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
114
Voted
SIGCSE
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes an application of one of the t abstract concepts taught in a compiler construction course. It demonstrates how the techniques behind the bottom-up SLR parser ...
125
click to vote
VLDB
1989
ACM
15 years 7 months ago
1989
ACM
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
142
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...