2530 search results - page 316 / 506 » Dynamic topological logic |
191
Voted
MEMBRANE
2004
Springer
16 years 4 days ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
208
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
— this paper proposes a distributed routing protocol for ad hoc sensor networks which uses Fuzzy Logic. Each sensor uses a Fuzzy decision making process to find the best Cluster ...
187
click to vote
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 11 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
202
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
179
click to vote
IPL
2002
15 years 6 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...