3337 search results - page 77 / 668 » interactions 2006 |
FMSD
2006
13 years 8 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
JANCL
2006
13 years 8 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
IJON
2006
13 years 8 months ago
2006
The synapse from the lateral pyloric (LP) to the pyloric dilator (PD) neuron in the stomatogastric nervous system of the crab Cancer borealis has both a graded and a spike-mediate...
IJON
2006
13 years 8 months ago
2006
The immense computational and adaptive power of the cerebral cortex emerges from the collective dynamics of large populations of interacting neurons. Thus, for theoretical investi...
IJIEM
2007
13 years 8 months ago
2007
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...