4880 search results - page 929 / 976 » Manuals as Structured Programs |
147
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
141
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
145
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
136
Voted
IWPEC
2009
Springer
15 years 10 months ago
2009
Springer
We study the Equitable Connected Partition problem, which is the problem of partitioning a graph into a given number of partitions, such that each partition induces a connected sub...
119
Voted
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
By equipping a mobile device with distance sensing capabilities, we aim to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical ...