509 search results - page 92 / 102 » Preserving Properties Under Change |
JCC
2007
13 years 8 months ago
2007
: We summarize our contributions on the quest of new planar tetracoordinate carbon entities (new carbon molecules with exotic chemical structures and strange bonding schemes). We g...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
: We propose and analyze a class of trust management protocols for encounter-based routing in delay tolerant networks (DTNs). The underlying idea is to incorporate trust evaluation...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Human languages evolve continuously, and a puzzling problem is how to reconcile the apparent robustness of most of the deep linguistic structures we use with the evidence that the...
ICDE
2011
IEEE
13 years 9 days ago
2011
IEEE
— Real-world databases often have extremely complex schemas. With thousands of entity types and relationships, each with a hundred or so attributes, it is extremely difficult fo...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...