4469 search results - page 581 / 894 » A Language for Role Specifications |
171
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
198
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
149
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...
197
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
172
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...