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 3 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 11 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 6 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 6 months ago

Download www.doc.ic.ac.uk

Michael Breza, Richard Anthony, Julie McCann

claim paper

Read More »

click to vote

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers