Sciweavers

2005 search results - page 217 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
IPPS
2010
IEEE
15 years 2 months ago
KRASH: Reproducible CPU load generation on many-core machines
Abstract--In this article we present KRASH, a tool for reproducible generation of system-level CPU load. This tool is intended for use in shared memory machines equipped with multi...
Swann Perarnau, Guillaume Huard
ICASSP
2010
IEEE
15 years 4 months ago
Note onset detection using rhythmic structure
In this paper we explore the relationship between the temporal and rhythmic structure of musical audio signals. Using automatically extracted rhythmic structure we present a rhyth...
Norberto Degara, Aantonio Pena, Matthew E. P. Davi...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 10 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
131
Voted
WWW
2003
ACM
16 years 5 months ago
Three theses of representation in the semantic web
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
Ian Horrocks, Peter F. Patel-Schneider
KI
2002
Springer
15 years 4 months ago
The Fraunhofer IESE Experience Management System
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
Andreas Jedlitschka, Klaus-Dieter Althoff, Bjö...