703 search results - page 61 / 141 » Fundamentals of Session Types |
136
Voted
SLE
2009
Springer
15 years 10 months ago
2009
Springer
One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, r...
115
Voted
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...
119
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
137
click to vote
MM
1999
ACM
15 years 8 months ago
1999
ACM
A real-time audio segmentation and indexing scheme is presented in this paper. Audio recordings are segmented and classified into basic audio types such as silence, speech, music,...
116
Voted
PODS
1997
ACM
15 years 7 months ago
1997
ACM
During the 1980's there was a lot of activity in the area of Statistical Databases, focusing mostly on socio-economic type applications, such as census data, national product...