941 search results - page 146 / 189 » Petri Nets Are Dioids |
PDSE
2000
15 years 1 months ago
2000
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
GG
2008
Springer
15 years 27 days ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
APLAS
2010
ACM
15 years 1 days ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
111
click to vote
ENTCS
2006
14 years 12 months ago
2006
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...