Sciweavers

18 search results - page 4 / 4
» Covering codes in Sierpinski graphs
Sort
View
MBEES
2008
13 years 7 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
AWPN
2008
311views Algorithms» more  AWPN 2008»
13 years 7 months ago
WoPeD 2.0 goes BPEL 2.0
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
Andreas Eckleder, Thomas Freytag
IJON
2007
90views more  IJON 2007»
13 years 5 months ago
Spatially organized spike correlation in cat visual cortex
Inspired by optical recordings from visual cortex which show maps of orientation selectivity, and the finding that very similar patterns of population activity occur when the neu...
Denise Berger, David Warren, Richard Normann, Amos...