275 search results - page 3 / 55 » Checking Framework Interactions with Relationships |
121
click to vote
JIIS
2008
15 years 3 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
154
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
122
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
116
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Though interaction designers critique interfaces as a regular part of their research and practice, the field of HCI lacks a proper discipline of interaction criticism. By interact...
133
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
The past decades have witnessed a rapid growth of Distributed Interactive Multimedia Environments (DIMEs). Despite their intensity of user-involved interaction, the existing evalu...