527 search results - page 46 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
147
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
172
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
We present an optimized parallelization scheme for molecular dynamics simulations of large biomolecular systems, implemented in the production-quality molecular dynamics program N...
183
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
IJBC
2007
15 years 6 months ago
2007
In this paper we present a model of impact dynamics in large dimensional systems. We describe a hybrid method, based on graph theory and probability theory, which enables us quali...
153
click to vote
WOWMOM
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents the design and the implementation of a platform allowing owners of mobile devices to exchange software application programs using a peer-to-peer scheme in hybr...