5863 search results - page 408 / 1173 » On Model-Checking of P Systems |
171
click to vote
GCC
2003
Springer
16 years 25 days ago
2003
Springer
Peer-to-peer networking is a hot buzzword that has been sweeping through the computing industry over the past year or so. Gnutella, as one of the first operational pure P2P systems...
196
click to vote
IADIS
2003
15 years 9 months ago
2003
As the UPnP devices and control points have been widely deployed, users intended to access the legacy internet-enabled devices with the UPnP control point. In this paper, we prese...
222
click to vote
ANCS
2011
ACM
14 years 7 months ago
2011
ACM
Peer-to-peer (P2P) applications distribute large files fast. That makes them popular on the Internet and has motivated their use on datacenter networks. On datacenter networks, h...
338
click to vote
ICDT
2009
ACM
16 years 8 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
242
click to vote
QEST
2009
IEEE
16 years 2 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...