5863 search results - page 315 / 1173 » On Model-Checking of P Systems |
191
click to vote
DELTA
2006
IEEE
16 years 1 months ago
2006
IEEE
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...
123
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
Abstract - Combined QM/MM calculations of an activesite of Cytochrome P450cam have been performed, before and after a binding process of Cytochrome P450cam to Putidaredoxin. The ca...
208
click to vote
PC
2000
15 years 7 months ago
2000
The LogP model is a model of parallel computation that characterises a parallel computer system by four parameters: the latency L, the overhead o, the gap g and the number of proc...
216
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. DHT-based P2P systems provide a fault-tolerant and scalable mean to store data blocks in a fully distributed way. Unfortunately, recent studies have shown that if connect...
228
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...