Search Sciweavers | Sciweavers

833 search results - page 31 / 167

» mc 2007

click to vote

CAV
2007
Springer

121views Hardware» more CAV 2007»

Automated Assumption Generation for Compositional Verification

15 years 1 months ago

Download www.cadence.com

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu

claim paper

Read More »

click to vote

BIOINFORMATICS
2010

75views more BIOINFORMATICS 2010»

MetNetMaker: a free and open-source tool for the creation of novel metabolic networks in SBML format

14 years 9 months ago

Download www.mendeley.com

Thomas Forth, Glenn A. McConkey, David R. Westhead

claim paper

Read More »

click to vote

ICON
2007
IEEE

159views Computer Networks» more ICON 2007»

Coordinated Sampling to Improve the Efficiency of Wireless Network Monitoring

15 years 4 months ago

Download www.cs.dartmouth.edu

Udayan Deshpande, David Kotz, Chris McDonald

claim paper

Read More »

click to vote

SASO
2007
IEEE

97views Control Systems» more SASO 2007»

Scalable and Efficient Sensor Network Self-Configuration in BioANS

15 years 4 months ago

Download www.doc.ic.ac.uk

Michael Breza, Richard Anthony, Julie McCann

claim paper

Read More »

Voted

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers