RSP
2015
IEEE
8 years 20 days ago
2015
IEEE
Abstract—This paper describes a testbed for development, deployment, testing, and analysis of Cyber-Physical Systems (CPS) applications. The testbed incorporates smart network ha...
RSP
2015
IEEE
8 years 20 days ago
2015
IEEE
—This paper presents ROSMOD, a model-driven component-based development tool suite for the Robot Operating System (ROS). ROSMOD is well suited for the design, development and dep...
RP
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. A usual way to find positive invariant sets of ordinary differential equations is to restrict the search to predefined finitely generated shapes, such as linear templ...
RP
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. Ensuring the correctness of critical real-time systems, involving concurrent behaviors and timing requirements, is crucial. Parameter synthesis aims at computing dense se...
RP
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. We study pushdown vector addition systems, which are synchronized products of pushdown automata with vector addition systems. The question of the boundedness of the reach...
RP
2015
Springer
8 years 20 days ago
2015
Springer
For any left-linear context-sensitive term rewrite system and any regular language of ground terms I, we build a finite tree automaton that recognizes a superset of the descendant...
RP
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. We consider probabilistic automata over finite words. Such an automaton defines the language consisting of the set of words accepted with probability greater than a giv...
RP
2015
Springer
8 years 20 days ago
2015
Springer
ander Malkis. MultithreadedCartesian Abstract Interpretation of Multithreaded Recursive Programs is Polynomial ● Masaya Shimakawa, Shigeki Hagihara and Nao...
RP
2015
Springer
8 years 20 days ago
2015
Springer
Abstract. Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parame...
RECSYS
2015
ACM
8 years 20 days ago
2015
ACM
Poor health due to a lack of understanding of nutrition is a major problem in the modern world, one which could potentially be addressed via the use of recommender systems. In thi...