8067 search results - page 1481 / 1614 » A Model Proposal of the Interoperability Problem |
185
Voted
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
181
click to vote
WD
2010
15 years 2 months ago
2010
It has long been known that adaptive beamforming has the potential to enhance the performance of wireless ad hoc networks significantly. However, due to the decentralized nature of...
132
click to vote
ACL
2009
15 years 2 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...
162
click to vote
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
In this work, we focus on managing scientific environmental data, which are measurement readings collected from wireless sensors. In environmental science applications, raw sensor...
155
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...