Sciweavers

467 search results - page 15 / 94
» Open bisimulation for aspects
Sort
View
JMLR
2010
108views more  JMLR 2010»
13 years 2 months ago
WEKA - Experiences with a Java Open-Source Project
WEKA is a popular machine learning workbench with a development life of nearly two decades. This article provides an overview of the factors that we believe to be important to its...
Remco R. Bouckaert, Eibe Frank, Mark A. Hall, Geof...
ISN
1998
Springer
109views Communications» more  ISN 1998»
13 years 11 months ago
Offering Role Mobility in a TINA Environment
This paper presents the concept of role mobility and the value of role mobility in an open service environment. We outline the aspects of role management and role mobility and we d...
Thanassis Tiropanis
CONCUR
2007
Springer
14 years 1 months ago
Is Observational Congruence Axiomatisable in Equational Horn Logic?
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
Michael Mendler, Gerald Lüttgen
IEE
2002
128views more  IEE 2002»
13 years 7 months ago
A study of configuration management in open source software projects
Projects where developers are geographically distributed and with high personnel turnover are usually considered to be hard to manage. Any organisation that successfully handles s...
Ulf Asklund, Lars Bendix
CLUSTER
2006
IEEE
14 years 1 months ago
Open MPI: A High-Performance, Heterogeneous MPI
The growth in the number of generally available, distributed, heterogeneous computing systems places increasing importance on the development of user-friendly tools that enable ap...
Richard L. Graham, Galen M. Shipman, Brian Barrett...