6274 search results - page 930 / 1255 » Proofs, Programs, Processes |
157
click to vote
FMOODS
2007
15 years 4 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
105
Voted
FECS
2008
15 years 4 months ago
2008
We report on the successful process of transitioning a 4th-year university software engineering capstone course from a waterfall approach to an iterative, more agile model. The se...
119
click to vote
ICMLA
2008
15 years 4 months ago
2008
A method is presented to partition a given set of data entries embedded in Euclidean space by recursively bisecting clusters into smaller ones. The initial set is subdivided into ...
126
Voted
LREC
2008
15 years 4 months ago
2008
This paper describes the use of the CasSys platform in order to achieve the chunking of conversational speech transcripts by means of cascades of Unitex transducers. Our system is...
122
click to vote
IIWAS
2007
15 years 4 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...