3792 search results - page 519 / 759 » Techniques for Trusted Software Engineering |
168
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
156
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
240
Voted
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
162
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
201
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we present our approach of using gamelike techniques for designing wearable computing solutions for the Paris Fire Brigade, consisting of namely a board game and a v...