6978 search results - page 269 / 1396 » On Proofs in System P |
188
click to vote
ENTCS
2008
15 years 6 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
187
click to vote
AMAI
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
183
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Performance modeling is important for implementing efficient parallel applications and runtime systems. The LogP model captures the relevant aspects of message passing i...
165
click to vote
DELTA
2006
IEEE
16 years 22 days 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...
114
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...