20126 search results - page 132 / 4026 » Timed Transition Systems |
120
Voted
INFOVIS
1999
IEEE
15 years 7 months ago
1999
IEEE
We examine how animating a viewpoint change in a spatial information system affects a user's ability to build a mental map of the information in the space. We found that anim...
113
click to vote
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
181
Voted
SPLC
2007
15 years 4 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
122
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...