Sciweavers

783 search results - page 34 / 157
» The Bio-PEPA Tool Suite
Sort
View
ESCIENCE
2006
IEEE
14 years 2 months ago
Identifying Tools to Support Schools' Collaborative Teaching and Learning
Integration of e-Science and Grid technologies into curriculum teaching is currently an ambitious aim for teachers and school infrastructures to organise. However, it can expose c...
Hilary Smith, Joshua Underwood, Geraldine Fitzpatr...
NIME
2005
Springer
119views Music» more  NIME 2005»
14 years 1 months ago
REMUPP - An Interactive Tool for Investigating Musical Properties and Relations
A typical experiment design within the field of music psychology is playing music to a test subject who listens and reacts – most often by verbal means. One limitation of this k...
Johnny Wingstedt, Mats Liljedahl, Stefan Lindberg,...
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
13 years 9 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
IJSEKE
2006
122views more  IJSEKE 2006»
13 years 8 months ago
A Tool to Automatically Map Implementation-based Testing Techniques to Classes
hibiting the characteristics of abstraction, encapsulation, genericity, inheritance, polymorphism, concurrency and exception handling. To address the difficulty of testing the feat...
Peter J. Clarke, Junhua Ding, Djuradj Babich, Bria...
MAGS
2008
169views more  MAGS 2008»
13 years 8 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi