285 search results - page 25 / 57 » Relating two formal models of path-vector routing |
109
click to vote
CMSB
2007
Springer
15 years 7 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...
112
click to vote
MOBISYS
2010
ACM
15 years 3 months ago
2010
ACM
This paper develops a navigation service, called GreenGPS, that uses participatory sensing data to map fuel consumption on city streets, allowing drivers to find the most fueleffi...
132
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
126
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
119
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...