1501 search results - page 54 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
147
Voted
CSREAESA
2003
15 years 5 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
157
Voted
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
133
Voted
UAI
2003
15 years 5 months ago
2003
This paper examines a number of solution methods for decision processes with non-Markovian rewards (NMRDPs). They all exploit a temporal logic specification of the reward functio...
133
click to vote
UML
1997
Springer
15 years 7 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
127
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Current approaches to the visual homing for mobile robot navigation are generally inspired in insects’ behavior and based on the observed angular information of fixed points...