7109 search results - page 254 / 1422 » Process Algebra with Combinators |
124
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
134
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
122
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
160
click to vote
IJSI
2008
15 years 4 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
141
click to vote
SIAMSC
2011
14 years 11 months ago
2011
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...