805 search results - page 89 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
195
Voted
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
131
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
167
click to vote
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
130
click to vote
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...
129
click to vote
MSWIM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...