660 search results - page 74 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
141
Voted
HT
1987
ACM
15 years 6 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
125
Voted
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Substructure similarity search is to retrieve graphs that approximately contain a given query graph. It has many applications, e.g., detecting similar functions among chemical com...
129
Voted
FAC
2000
15 years 2 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
123
click to vote
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
139
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...