1981 search results - page 178 / 397 » Model-Checking Hierarchical Structures |
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
ISTA
2004
14 years 11 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
RIAO
2000
14 years 11 months ago
2000
Traditionally work on multimedia structuring has been centered on the creation of indices and their use for searching. Although searching is important there are many cases where t...
IJBRA
2008
14 years 10 months ago
2008
: Functions of a protein are mainly determined by its structure. Surface cavities, also called pockets or clefts, are ordinarily regarded as potentially active sites where the prot...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— Recent biological research suggests that reliable, agile climbing on smooth vertical surfaces requires controllable adhesion. In nature, geckos control adhesion by properly loa...