1902 search results - page 79 / 381 » Differential Dynamic Logics |
115
click to vote
LCN
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework for managing dynamic Service Level Specification (SLS) in Differentiated Services (diffserv) networks. In the considered scenario, the configuratio...
171
click to vote
SIAMSC
2008
15 years 5 months ago
2008
In this paper, we develop an error estimator and an adaptive algorithm for efficient solution of parabolic partial differential equations. The error estimator assesses the discreti...
142
click to vote
IJMTM
2007
15 years 5 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
170
click to vote
CPHYSICS
2004
15 years 5 months ago
2004
We describe algorithms to implement fully dynamic and kinetic three-dimensional unconstrained Delaunay triangulations, where the time evolution of the triangulation is not only go...
155
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...