308 search results - page 7 / 62 » Modular Verification of Interactive Systems with an Applicat... |
CHI
2001
ACM
14 years 7 months ago
2001
ACM
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
BMCBI
2007
13 years 6 months ago
2007
Background: The architecture of biological networks has been reported to exhibit high level of modularity, and to some extent, topological modules of networks overlap with known f...
BMCBI
2010
13 years 1 months ago
2010
Background: A significant problem in the study of mechanisms of an organism's development is the elucidation of interrelated factors which are making an impact on the differe...
ASM
2008
ASM
13 years 8 months ago
2008
ASM
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...