656 search results - page 54 / 132 » A Formalization of Transition P Systems |
155
click to vote
SBMF
2010
Springer
14 years 7 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
WIA
2000
Springer
15 years 4 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...
108
Voted
TSMC
1998
15 years 6 days ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
101
Voted
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
113
Voted
ASE
2006
15 years 19 days ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...