549 search results - page 38 / 110 » formats 2010 |
116
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
137
click to vote
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
96
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
TEI
2010
ACM
15 years 7 months ago
2010
ACM
I present a card brainstorming exercise that transforms a conceptual tangible interaction framework into a tool for creative dialogue and discuss the experiences made in using it....
85
Voted
ESWS
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents GoNTogle, a tool which provides advanced document annotation and search facilities. GoNTogle allows users to annotate several document formats, using ontology c...