5863 search results - page 302 / 1173 » On Model-Checking of P Systems |
176
click to vote
RTS
2008
15 years 6 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
205
click to vote
IANDC
2010
15 years 5 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
204
click to vote
COMCOM
2008
15 years 7 months ago
2008
Active worms continue to pose major threats to the security of today's Internet. This is due to the ability of active worms to automatically propagate themselves and compromi...
224
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...