4880 search results - page 929 / 976 » Manuals as Structured Programs |
170
click to vote
ATAL
2009
Springer
16 years 23 days 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...
188
click to vote
ICCS
2009
Springer
16 years 22 days 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...
192
click to vote
ICMT
2009
Springer
16 years 22 days 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 ...
180
click to vote
IWPEC
2009
Springer
16 years 22 days 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...
159
click to vote
MHCI
2009
Springer
16 years 22 days 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 ...