305 search results - page 17 / 61 » Petri Net Analysis Using Decision Diagrams |
156
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
173
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
132
click to vote
JSW
2008
15 years 5 months ago
2008
Precise analysis of the Web structure can facilitate data pre-processing and enhance the accuracy of the mining results in the procedure of Web usage mining. STPN Stochastic Timed...
183
click to vote
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
166
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...