691 search results - page 8 / 139 » Equational Abstractions |
CSCLP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
MOC
2000
13 years 7 months ago
2000
Abstract. Complexity theoretic aspects of continuation methods for the solution of square or underdetermined systems of polynomial equations have been studied by various authors. I...
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. An efficient treatment is developed for the Schr