2496 search results - page 331 / 500 » Error-detecting properties of languages |
122
click to vote
WETICE
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
120
click to vote
ADC
2000
Springer
15 years 9 months ago
2000
Springer
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...
137
click to vote
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
119
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
136
click to vote
FCT
1999
Springer
15 years 9 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...