2513 search results - page 289 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
99
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
132
Voted
ICSE
2004
IEEE-ACM
16 years 27 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
129
Voted
AHS
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
109
click to vote
PRICAI
2000
Springer
15 years 4 months ago
2000
Springer
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...
118
Voted
WOA
2001
15 years 2 months ago
2001
Nowadays, robots have to face very complex tasks, often requiring collaboration between several individuals. As a consequence, robotics can be considered one of the most suitable ...