253 search results - page 39 / 51 » Formal analysis of timed continuous Petri nets |
168
click to vote
ISORC
2009
IEEE
16 years 11 days ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
132
Voted
APN
2001
Springer
15 years 10 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
136
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
152
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
193
click to vote
APN
2006
Springer
15 years 9 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...