107 search results - page 22 / 22 » Separation Logic: A Logic for Shared Mutable Data Structures |
IWANN
2009
Springer
14 years 29 days ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
PADS
2003
ACM
13 years 11 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...