4460 search results - page 562 / 892 » Formal methods for interactive systems |
180
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
151
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
152
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
With the acceleration of technological development we are reaching the point where our systems and their user interfaces become to some degree outdated 'legacy systems' ...
171
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Measuring user acceptance to avoid system rejection by the users in pre-prototype stage of product development is of high interest for both researchers and practitioners. This is ...
170
click to vote
DOCENG
2006
ACM
16 years 19 days ago
2006
ACM
In some hypermedia system applications, like interactive digital TV applications, authoring and presentation of documents may have to be done concomitantly. This is the case of li...