656 search results - page 84 / 132 » A Formalization of Transition P Systems |
92
Voted
MJ
2008
14 years 11 months ago
2008
We study the electronic and transport properties of heterostructures formed by armchair graphene nanoribbons with intersections of finite length. We describe the system by a tight...
106
Voted
AAAI
2011
14 years 13 days ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
117
Voted
BROADNETS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
117
click to vote
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
121
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...