10916 search results - page 120 / 2184 » On Constructive Connectives and Systems |
168
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Construct development environment is targeted at the construction of different types of hypermedia services. The primary goal of the environment is to ease the constr...
127
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
168
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
Peer-to-peer systems rely on scalable overlay networks that enable efficient routing between its members. Hypercubic topologies facilitate such operations while each node only nee...
176
click to vote
CMMR
2007
Springer
16 years 20 days ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...
182
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Self-reconfigurable or metamorphic robots can change their individual and collective shape and size to meet operational demands. Since these robots are constructed from a set of a...