8154 search results - page 117 / 1631 » Understanding changes in use cases: A case study |
136
click to vote
FLAIRS
2000
15 years 5 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
123
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
— To explore the design of politeness in embodied conversational agents and social robots from the perspective of user studies, a case study based on a psychological experiment w...
164
click to vote
HUC
2004
Springer
15 years 9 months ago
2004
Springer
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
140
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
132
click to vote
FMSD
2006
15 years 4 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...