6474 search results - page 1145 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
198
click to vote
FASE
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
166
click to vote
ISSTA
2004
ACM
16 years 12 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
179
click to vote
IUI
2004
ACM
16 years 12 days ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
194
click to vote
IUI
2004
ACM
16 years 12 days ago
2004
ACM
This paper describes an attempt to reveal the user’s intention from dialogue acts, thereby improving the effectiveness of natural interfaces to pedagogical agents. It focuses o...
184
Voted
IUI
2004
ACM
16 years 12 days ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...