4460 search results - page 157 / 892 » Formal methods for interactive systems |
118
Voted
UIST
1997
ACM
15 years 8 months ago
1997
ACM
The GLIDE system is an interactive constraint-based editor for drawing small- and medium-sized graphs (50 nodes or fewer) that organizes the interaction in a more collaborative ma...
157
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: The amount of data on protein-protein interactions (PPIs) available in public databases and in the literature has rapidly expanded in recent years. PPI data can provid...
BMCBI
2008
15 years 3 months ago
2008
Background: Interaction of a drug or chemical with a biological system can result in a geneexpression profile or signature characteristic of the event. Using a suitably robust alg...
130
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
149
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...