805 search results - page 9 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
59
Voted
IEE
2000
14 years 9 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
HCI
2009
14 years 7 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
CASCON
1997
14 years 11 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
TASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...