5863 search results - page 398 / 1173 » On Model-Checking of P Systems |
191
click to vote
P2P
2002
IEEE
16 years 15 days ago
2002
IEEE
The combination of peer-to-peer networking and agentbased computing seems to be a perfect match. Agents are cooperative and communication oriented, while peerto-peer networks typi...
258
click to vote
SDL
2007
15 years 9 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
208
click to vote
AINA
2006
IEEE
16 years 1 months ago
2006
IEEE
With the huge number of information sources available on the Internet, Peer-to-Peer (P2P) systems offer a novel kind of system architecture providing the large-scale community wit...
206
click to vote
ISMIR
2004
Springer
16 years 29 days ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....
324
click to vote
POPL
2006
ACM
16 years 8 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...