31 search results - page 2 / 7 » An Engineering Approach towards Action Refinement |
121
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
109
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
88
Voted
SECRYPT
2010
14 years 10 months ago
2010
: EnCoRe: Towards a holistic approach to privacy Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson HP Laboratories HPL-2010-83 privacy policies...
EICS
2010
ACM
15 years 4 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
112
click to vote
WIAS
2010
14 years 10 months ago
2010
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...