323 search results - page 4 / 65 » Verify Your Runs |
BIB
2002
13 years 7 months ago
2002
Pise is interface construction software for bioinformatics applications that run by commandline operations. It creates common, easy to use interfaces to these for the Web, or othe...
IAJIT
2008
13 years 7 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
RV
2010
Springer
13 years 5 months ago
2010
Springer
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
ICDE
1998
IEEE
14 years 8 months ago
1998
IEEE
We advocate a desktop virtual reality (VR) interface to a geographic information system (GIS). The navigational capability to explore large topographic scenes is a powerful metaph...