9110 search results - page 397 / 1822 » Formally-Based Design Evaluation |
178
click to vote
DIMEA
2008
15 years 8 months ago
2008
This paper presents the design and deployment of Polar Defence, an interactive game for a large public display. We designed this display based on a model of "users" and ...
166
click to vote
IM
2007
15 years 8 months ago
2007
— The objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (Simple Policy Language for CIM) that complies with the CIM (Common Inform...
215
click to vote
TODAES
2008
15 years 6 months ago
2008
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integ...
161
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This article presents the design of Iromec, a modular robot companion tailored towards engaging in social exchanges with children with different disabilities with the aim to em...
255
click to vote
MOBILIGHT
2010
15 years 4 months ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...