3081 search results - page 395 / 617 » A Formal Ontology of Properties |
171
click to vote
CMSB
2007
Springer
16 years 24 days 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...
170
click to vote
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
182
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
179
click to vote
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
164
click to vote
IJCAI
1989
15 years 7 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...