253 search results - page 31 / 51 » Formal analysis of timed continuous Petri nets |
108
Voted
EMISA
2002
Springer
15 years 1 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
108
click to vote
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
118
click to vote
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
114
Voted
SBCCI
2004
ACM
15 years 7 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
110
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...