7529 search results - page 349 / 1506 » The Modula-3 Type System |
268
click to vote
WRLA
2010
15 years 5 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
204
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
188
click to vote
EMNLP
2009
15 years 4 months ago
2009
We have designed, implemented and evaluated an end-to-end system spellchecking and autocorrection system that does not require any manually annotated training data. The World Wide...
256
click to vote
ICUMT
2009
15 years 4 months ago
2009
Abstract--Multimedia broadcast over a single frequency network (MBSFN) has attracted a lot of interest recently. This paper is on Golden coded spatial multiplexing MBSFN transmissi...
196
click to vote
TAAS
2010
15 years 1 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...