Sciweavers

1289 search results - page 181 / 258
» On the Minimal Embedding Field
Sort
View
PLPV
2010
ACM
15 years 8 months ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
Tomás Kalibera, Pavel Parizek, Ghaith Hadda...
DOCENG
2008
ACM
15 years 8 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
HCI
2007
15 years 7 months ago
Collaborative Design for Strategic UXD Impact and Global Product Value
Experts in the field of HCI have spoken at length about how to increase the strategic influence of User Experience Design (UXD) teams in industry [2] [5]. Others have talked about...
James E. Nieters, David Williams
HCI
2007
15 years 7 months ago
Measuring User Experiences of Prototypical Autonomous Products in a Simulated Home Environment
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
Martijn H. Vastenburg, David V. Keyson, Huib de Ri...
AAAI
2006
15 years 7 months ago
The Keystone Scavenger Team
Stereo vision for small mobile robots is a challenging problem, particularly when employing embedded systems with limited processing power. However, it holds the promise of greatl...
Jacky Baltes, John Anderson