Sciweavers

5009 search results - page 830 / 1002
» Value chain modelling using system dynamics
Sort
View
MMS
2007
15 years 5 months ago
An Experimental Frame for Evaluating Service Trading Overlays in Mobile ad-hoc Networks
Abstract: For evaluating dynamics of mobile ad-hoc networks at least three different layers have to be distinguished: the application layer, the protocol layer, and the network lay...
Mathias Röhl, Adelinde M. Uhrmacher, Birgitta...
SERP
2003
15 years 5 months ago
Performance of Service-Discovery Architectures in Response to Node Failures
Current trends suggest future software systems will rely on service-discovery protocols to combine and recombine distributed services dynamically in reaction to changing condition...
Christopher Dabrowski, Kevin L. Mills, Andrew L. R...
AAAI
1996
15 years 5 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
MVA
1996
107views Computer Vision» more  MVA 1996»
15 years 5 months ago
A Kalman Filter-Based Update Scheme for Road Following
We propose a new approach for vision based road following. The approach is tailored to a well structured highway environment with lane markers. Lane markers are detected and used ...
Hichem Sahli, Patrick de Muynck, Jan Cornelis
ENTCS
2007
91views more  ENTCS 2007»
15 years 4 months ago
A Logic for Reasoning about Generic Judgments
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
Alwen Tiu