2496 search results - page 89 / 500 » Error-detecting properties of languages |
96
Voted
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
94
Voted
ECSA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
82
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
98
Voted
LREC
2010
15 years 2 months ago
2010
Resource-poor languages may suffer from a lack of any of the basic resources that are fundamental to computational linguistics, including an adequate digital lexicon. Given the re...
123
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presente...