630 search results - page 29 / 126 » Stateful Aspects in JAsCo |
ENTCS
2000
13 years 8 months ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
We propose a parser for constraintlogic grammars implementing HPSG that combines the advantages of dynamic bottom-up and advanced topdown control. The parser allows the user to ap...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
INTERSPEECH
2010
13 years 3 months ago
2010
Hidden Markov models (HMMs) have proven useful in various aspects of speech technology from automatic speech recognition through speech synthesis, speech segmentation and grapheme...
HICSS
2012
IEEE
12 years 4 months ago
2012
IEEE
—Citizen science is a form of research collaboration involving members of the public in scientific research projects to address real-world problems. Often organized as a virtual...