4850 search results - page 841 / 970 » Proof and Computation in Geometry |
110
click to vote
WSC
2004
15 years 7 months ago
2004
Simulation composability is a difficult capability to achieve due to the challenges of creating components, selecting combinations of components, and integrating the selected comp...
178
click to vote
ROOM
2000
15 years 7 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
162
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
155
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
153
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...