1288 search results - page 244 / 258 » On Analysis of Design Component Contracts: A Case Study |
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
100
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...
109
click to vote
AAAI
2006
15 years 1 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
101
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
104
click to vote
TROB
2010
14 years 6 months ago
2010
The property of form-closure of a grasp, as generally defined in the literature, is based on the assumption that contact points between the hand and the object are fixed in space. ...