Sciweavers

231 search results - page 8 / 47
» Model Order Reduction for Large Scale Engineering Models Dev...
Sort
View
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
13 years 9 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
AGILEDC
2003
IEEE
14 years 21 days ago
Evolving Agile in the Enterprise: Implementing XP on a Grand Scale
How can XP or other agile methods be used in large corporate IT shops? One large company found out, making XP the official corporate software development methodology for all proje...
Michael K. Spayd
JCB
2006
91views more  JCB 2006»
13 years 7 months ago
Reverse Engineering Discrete Dynamical Systems from Data Sets with Random Input Vectors
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
Winfried Just
WECWIS
2003
IEEE
132views ECommerce» more  WECWIS 2003»
14 years 20 days ago
Page Digest for Large-Scale Web Services
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...
Daniel Rocco, David Buttler, Ling Liu
DSML
2008
107views Formal Methods» more  DSML 2008»
13 years 8 months ago
How Web 2.0 can Leverage Model Engineering in Practice
: Today's online model repositories offer to download and view the textual specifications of e.g. metamodels and models in the browser. For users, in order to efficiently sear...
Manuel Wimmer, Andrea Schauerhuber, Michael Stromm...