11168 search results - page 90 / 2234 » Abstract State Processes |
173
click to vote
ICQNM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Biological processes, and in particular DNA hybridization, offer the potential to form the basis for the assembly of devices at micro- and nano-scales. Our aim is to im...
109
click to vote
PDPTA
2003
15 years 5 months ago
2003
Abstract— Today’s middleware applications tend to be complicated, and consist of tiers that form a nested chain of objects or processes. For a real-time nested application, pre...
149
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
153
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
142
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...