Sciweavers

14577 search results - page 2545 / 2916
» Statistical Language Modelling
Sort
View
ACSAC
1999
IEEE
15 years 11 months ago
Using Checkable Types in Automatic Protocol Analysis
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
Stephen H. Brackin
DATE
1999
IEEE
95views Hardware» more  DATE 1999»
15 years 11 months ago
Object-Oriented Reuse Methodology for VHDL
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
Cristina Barna, Wolfgang Rosenstiel
HICSS
1999
IEEE
132views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Cultural Component of Designing and Evaluating International User Interfaces
By and large, cultural diversity is not being addressed in the design and development of user interfaces for international markets. Localization efforts that merely translate lang...
Nestor G. Trillo
HOTOS
1999
IEEE
15 years 11 months ago
Hey, You Got Your Compiler in My Operating System!
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
Jon Howell, Mark H. Montague
ADBIS
1999
Springer
104views Database» more  ADBIS 1999»
15 years 11 months ago
Mining Various Patterns in Sequential Data in an SQL-like Manner
Abstract. One of the most important data mining tasks is discovery of frequently occurring patterns in sequences of events. Many algorithms for finding various patterns in sequenti...
Marek Wojciechowski
« Prev « First page 2545 / 2916 Last » Next »