Sciweavers

3146 search results - page 596 / 630
» The use of compiler optimizations for embedded systems softw...
Sort
View
ICSEA
2007
IEEE
14 years 2 months ago
An Extensible Architecture for Network-Attached Device Management
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
Michael J. McMahon Jr., Sergiu M. Dascalu, Frederi...
IUI
2006
ACM
14 years 1 months ago
Multimodal interaction styles for hypermedia adaptation
We explore the concept of interaction styles used to navigate through hypermedia systems. A demonstrator was built to conduct a user study with the objective of detecting whether ...
Ronnie Taib, Natalie Ruiz
HIS
2007
13 years 9 months ago
Genetic Programming meets Model-Driven Development
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
Thomas Weise, Michael Zapf, Mohammad Ullah Khan, K...
LWA
2007
13 years 9 months ago
Semantic Perspectives on Knowledge Management and E-Learning
Knowledge Management (KM) and E-Learning (EL) applications interface more and more as their objects of concern consist in ’captured knowledge’ resp. ’learning objects’, i....
Andrea Kohlhase
FSTTCS
2008
Springer
13 years 8 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...