125 search results - page 22 / 25 » The Formal Simulation Semantics of SystemVerilog |
WSC
2007
15 years 1 months ago
2007
In computational biology there is an increasing need to combine micro and macro views of the system of interest. Therefore, explicit means to describe micro and macro level and th...
90
Voted
CMSB
2007
Springer
15 years 5 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
105
click to vote
COGSCI
2010
14 years 11 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
ICEIS
2000
IEEE
15 years 4 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...