402 search results - page 36 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
AC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— Previous work [1] shows that the movement representation in task spaces offers many advantages for learning object-related and goal-directed movement tasks through imit...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
DIM
2007
ACM
14 years 21 days ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...