5863 search results - page 234 / 1173 » On Model-Checking of P Systems |
251
click to vote
CORR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
170
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
The seamless and flexible interconnection of the existing and emerging protocols and networks is essential to the success of the new generation mobile applications and services. Fo...
165
click to vote
MONTEREY
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...