4543 search results - page 794 / 909 » Interactive Distributed Configuration |
130
click to vote
ENTCS
2006
15 years 2 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
115
Voted
EXPERT
2006
15 years 2 months ago
2006
Agent-oriented cooperation techniques and standardized electronic healthcare record exchange protocols can be used to combine information regarding different facets of a therapy re...
110
click to vote
CANDC
2007
ACM
15 years 2 months ago
2007
ACM
Motivated by the recent work on Escherichia coli bacteria clustering [Park, S., Wolanin, P.M., Yuzbashyan, E.A., Lin, H., Darnton, N.C., Stock, J.B., Silberzan, P., Austin, R., 20...
103
click to vote
FUIN
2006
15 years 2 months ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
122
click to vote
IJRR
2008
15 years 2 months ago
2008
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...