2328 search results - page 259 / 466 » Component Frameworks - A Case Study |
157
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
186
click to vote
HPCN
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
147
click to vote
ECOOP
1995
Springer
15 years 9 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
152
click to vote
JECR
2002
15 years 5 months ago
2002
Studies have shown that small- and medium-sized enterprises (SMEs) have embraced E-Commerce to strengthen their competitive position. In the case of SMEs engaging in export activi...
186
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a new approach to estimate “universal” phoneme posterior probabilities for mixed language speech recognition. More specifically, we propose a new theoreti...