9110 search results - page 479 / 1822 » Formally-Based Design Evaluation |
232
Voted
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we introduce ContikiSec, a secure network layer for wireless sensor networks, designed for the Contiki Operating System. ContikiSec has a configurable design, providi...
194
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...
367
click to vote
Lecture Notes
The Lecture notes covers database architecture, design, administration, and implementation. Evaluation and use of database-management systems for computers, with emphasis on microc...
154
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents an evaluation to determine the importance of the accurate thermal characterization for several elements of a semiconductor device. Specifically, it evaluates ...
170
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper four mechanisms, fine and coarse grained fitness rating, linguistic evaluation and active user intervention are compared for use in the multi-objective IGA. The inte...