1788 search results - page 190 / 358 » Model Theory for Process Algebra |
119
click to vote
ADVAI
2010
14 years 10 months ago
2010
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...
107
click to vote
IJON
2007
15 years 3 months ago
2007
We simulate the induction and maintenance of late long-term potentiation (L-LTP) in the hippocampal dentate gyrus by means of a new synaptic plasticity rule that is the result of ...
171
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
150
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
131
click to vote
ICCAD
2006
IEEE
16 years 21 days ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...