4166 search results - page 90 / 834 » Automating the constraining process |
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
DASC
2006
IEEE
14 years 12 months ago
2006
IEEE
Wireless Sensor Networks (WSNs) are severely constrained in computation and communication capabilities due to the cost and size of available sensors. On the other hand, autonomic ...
IJON
2006
14 years 10 months ago
2006
This study investigates the control of spike-timing dependent plasticity (STDP) by regulation of the dendritic spike threshold of the postsynaptic neuron. The control of synaptic ...
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
TSD
2000
Springer
15 years 1 months ago
2000
Springer
stic and Automated Analysis of Texts Applied to a Scientific Abstract by Mark Sergot and Others . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...