Sciweavers

98 search results - page 4 / 20
» Linking Analysis and Transformation Tools with Source-Based ...
Sort
View
AOSE
2005
Springer
15 years 5 months ago
Automating Model Transformations in Agent-Oriented Modelling
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
Anna Perini, Angelo Susi
CVPR
1998
IEEE
16 years 1 months ago
Generation of the Euclidean Skeleton from the Vector Distance Map by a Bisector Decision Rule
The Euclidean skeleton is essential for general shape representation. This paper provides an e cient method to extract a well-connected Euclidean skeleton by a neighbor bisector d...
Hong Li, Albert M. Vossepoel
BMCBI
2007
180views more  BMCBI 2007»
14 years 11 months ago
Splicy: a web-based tool for the prediction of possible alternative splicing events from Affymetrix probeset data
Background: The Affymetrix™ technology is nowadays a well-established method for the analysis of gene expression profiles in cancer research studies. However, changes in gene ex...
Davide Rambaldi, Barbara Felice, Viviane Praz, Phi...
112
Voted
BCS
2008
15 years 1 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
128
Voted
EUROPAR
2003
Springer
15 years 4 months ago
KOJAK - A Tool Set for Automatic Performance Analysis of Parallel Programs
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
Bernd Mohr, Felix Wolf