3255 search results - page 8 / 651 » Combination of Abstractions in the ASTR |
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
TSD
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We are introducing several methods for combination of systems based on temporal trajectories feature-level combination. Experiments were done to evaluate combination meth...
MCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A new theoretical framework for the analysis of linear combiners is presented in this paper. This framework extends the scope of previous analytical models, and provides ...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— A mathematical model for the scheduling of angiogenic inhibitors in combination with a killing agent is considered as an optimal control problem. Initial results on the...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...