3379 search results - page 629 / 676 » Combinators for Interaction Nets |
116
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—As mobile phones increasingly become the target of propagating malware, their use of direct pair-wise communication mechanisms, such as Bluetooth and WiFi, pose considerable cha...
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
107
click to vote
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
ADMA
2009
Springer
15 years 6 months ago
2009
Springer
It is of high biomedical interest to identify gene interactions and networks that are associated with developmental and physiological functions in the mouse embryo. There are now v...
WABI
2009
Springer
15 years 6 months ago
2009
Springer
Background: This paper considers the problem of identifying pathways through metabolic networks that relate to a specific biological response. Our proposed model, HME3M, first ide...