2268 search results - page 229 / 454 » The Essence of Form Abstraction |
116
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
116
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
115
Voted
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
138
click to vote
SASO
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
109
click to vote
CBMS
2007
IEEE
15 years 8 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...